$background: #1a1b26;
$foreground: #c0caf5;
$black: #15161e;
$red: #f7768e;
$green: #9ece6a;
$yellow: #e0af68;
$blue: #7aa2f7;
$magenta: #bb9af7;
$cyan: #7dcfff;
$white: #a9b1d6;

$black-bright: lighter(#15161e);
$red-bright: lighter(#f7768e);
$green-bright: lighter(#9ece6a);
$yellow-bright: lighter(#e0af68);
$blue-bright: lighter(#7aa2f7);
$magenta-bright: lighter(#bb9af7);
$cyan-bright: lighter(#7dcfff);
$white-bright: lighter(#a9b1d6);