// Blacks
$jet: #181818;
$inkstone: #3D3D3D;
$slate: #5D5D5D;
$graphite: #666666;

// Whites
$white: #FFFFFF;
$porcelain: #F7F7F7;
$silk: #CCC;
$ash: #878787;

// Utility
$red: #ED3146;
$orange: #E95420;
$yellow: #F89B0F;
$green: #3EB34F;
$blue: #19B6EE;
$purple: #762572;

// Terminal colors
$terminal_bg_color: #300A24;
$terminal_base_color: lighten($terminal_bg_color, 5%);
$terminal_fg_color: white;
$terminal_borders_color: darken($terminal_bg_color, 10%);

// Widget Colors
$headerbar_bg_color: #2B2929;
$menubar_bg_color: $headerbar_bg_color;
$headerbar_fg_color: $porcelain;
$headerbar_text_color: $silk;
$headerbar_insensitive_color: mix($headerbar_fg_color, $headerbar_bg_color, 50%);
//
$backdrop_headerbar_bg_color: lighten($headerbar_bg_color, 7%);
$backdrop_headerbar_fg_color: mix($headerbar_fg_color, $headerbar_bg_color, 70%);
$backdrop_headerbar_text_color: mix($headerbar_text_color, $backdrop_headerbar_bg_color, 70%);
$backdrop_headerbar_insensitive_color: mix($headerbar_fg_color, $backdrop_headerbar_bg_color, 70%);
$backdrop_menubar_bg_color: lighten($menubar_bg_color, 5%);
