// OneDark

//black = "#181a1f",
//bg0 = "#282c34",
//bg1 = "#31353f",
//bg2 = "#393f4a",
//bg3 = "#3b3f4c",
//bg_d = "#21252b",
//bg_blue = "#73b8f1",
//bg_yellow = "#ebd09c",
//fg = "#abb2bf",
//purple = "#c678dd",
//green = "#98c379",
//orange = "#d19a66",
//blue = "#61afef",
//yellow = "#e5c07b",
//cyan = "#56b6c2",
//red = "#e86671",
//grey = "#5c6370",
//light_grey = "#848b98",
//dark_cyan = "#2b6f77",
//dark_red = "#993939",
//dark_yellow = "#93691d",
//dark_purple = "#8a3fa0",
//diff_add = "#31392b",
//diff_delete = "#382b2c",
//diff_change = "#1c3448",
//diff_text = "#2c5372",
// ----

export global Palette {
	in-out property<brush> accent: Colors.cyan.darker(0.4);
	in-out property<brush> foreground: #abb2bf;
	in-out property<brush> foreground-hint: foreground.darker(0.2);
	in-out property<brush> background: #282c34;
	in-out property<brush> background1: #31353f;
	in-out property<brush> pane: #21252b;
	in-out property<brush> popup-border: Colors.grey;
	in-out property<brush> control-foreground: #abb2bf;
	in-out property<brush> control-background: #393f4a;
	in-out property<brush> card-background: background.brighter(0.2);
	in-out property<brush> green: Colors.greenyellow;
	in-out property<brush> orange: Colors.orange;
	in-out property<brush> red: Colors.red;
}