@define-color accent_color #268bd2;
@define-color accent_bg_color #268bd2;
@define-color accent_fg_color #002b36;
@define-color destructive_color #dc322f;
@define-color destructive_bg_color #dc322f;
@define-color destructive_fg_color #002b36;
@define-color success_color #859900;
@define-color success_bg_color #859900;
@define-color success_fg_color #002b36;
@define-color warning_color #6c71c4;
@define-color warning_bg_color #6c71c4;
@define-color warning_fg_color #002b36;
@define-color error_color #dc322f;
@define-color error_bg_color #dc322f;
@define-color error_fg_color #002b36;
@define-color window_bg_color #002b36;
@define-color window_fg_color #93a1a1;
@define-color view_bg_color #002b36;
@define-color view_fg_color #93a1a1;
@define-color headerbar_bg_color #073642;
@define-color headerbar_fg_color #93a1a1;
@define-color headerbar_border_color rgba(0.02745098, 0.21176471, 0.25882353, 0.7);
@define-color headerbar_backdrop_color @window_bg_color;
@define-color headerbar_shade_color rgba(0, 0, 0, 0.07);
@define-color headerbar_darker_shade_color rgba(0, 0, 0, 0.07);
@define-color sidebar_bg_color #073642;
@define-color sidebar_fg_color #93a1a1;
@define-color sidebar_backdrop_color @window_bg_color;
@define-color sidebar_shade_color rgba(0, 0, 0, 0.07);
@define-color secondary_sidebar_bg_color @sidebar_bg_color;
@define-color secondary_sidebar_fg_color @sidebar_fg_color;
@define-color secondary_sidebar_backdrop_color @sidebar_backdrop_color;
@define-color secondary_sidebar_shade_color @sidebar_shade_color;
@define-color card_bg_color #073642;
@define-color card_fg_color #93a1a1;
@define-color card_shade_color rgba(0, 0, 0, 0.07);
@define-color dialog_bg_color #073642;
@define-color dialog_fg_color #93a1a1;
@define-color popover_bg_color #073642;
@define-color popover_fg_color #93a1a1;
@define-color popover_shade_color rgba(0, 0, 0, 0.07);
@define-color shade_color rgba(0, 0, 0, 0.07);
@define-color scrollbar_outline_color #586e75;
@define-color blue_1 #268bd2;
@define-color blue_2 #268bd2;
@define-color blue_3 #268bd2;
@define-color blue_4 #268bd2;
@define-color blue_5 #268bd2;
@define-color green_1 #859900;
@define-color green_2 #859900;
@define-color green_3 #859900;
@define-color green_4 #859900;
@define-color green_5 #859900;
@define-color yellow_1 #b58900;
@define-color yellow_2 #b58900;
@define-color yellow_3 #b58900;
@define-color yellow_4 #b58900;
@define-color yellow_5 #b58900;
@define-color orange_1 #cb4b16;
@define-color orange_2 #cb4b16;
@define-color orange_3 #cb4b16;
@define-color orange_4 #cb4b16;
@define-color orange_5 #cb4b16;
@define-color red_1 #dc322f;
@define-color red_2 #dc322f;
@define-color red_3 #dc322f;
@define-color red_4 #dc322f;
@define-color red_5 #dc322f;
@define-color purple_1 #6c71c4;
@define-color purple_2 #6c71c4;
@define-color purple_3 #6c71c4;
@define-color purple_4 #6c71c4;
@define-color purple_5 #6c71c4;
@define-color brown_1 #d33682;
@define-color brown_2 #d33682;
@define-color brown_3 #d33682;
@define-color brown_4 #d33682;
@define-color brown_5 #d33682;
@define-color light_1 #93a1a1;
@define-color light_2 #93a1a1;
@define-color light_3 #93a1a1;
@define-color light_4 #93a1a1;
@define-color light_5 #93a1a1;
@define-color dark_1 #93a1a1;
@define-color dark_2 #93a1a1;
@define-color dark_3 #93a1a1;
@define-color dark_4 #93a1a1;
@define-color dark_5 #93a1a1;

button { background-image: image(alpha(currentColor, 0.1)); }
button:hover { background-image: image(alpha(currentColor, 0.15));
	     box-shadow: none;
}
button:active, button:checked { background-image: image(alpha(currentColor, 0.3));
	       box-shadow: none;
}