hashi-ruby 1.0.0

data/bin/assets/FlatColor/gtk-3.20/gtk.css

@@ -0,0 +1,113 @@
+/* Default color scheme */
+@define-color color0 #0a0c1f;
+@define-color color1 #596D8A;
+@define-color color2 #2492A6;
+@define-color color3 #5C98A4;
+@define-color color4 #2FD8D7;
+@define-color color5 #67E1D9;
+@define-color color6 #9A9CA1;
+@define-color color7 #e4dfd4;
+@define-color color8 #9f9c94;
+@define-color color9 #596D8A;
+@define-color color10 #2492A6;
+@define-color color11 #5C98A4;
+@define-color color12 #2FD8D7;
+@define-color color13 #67E1D9;
+@define-color color14 #9A9CA1;
+@define-color color15 #e4dfd4;
+@define-color selected_bg_color #47576e;
+@define-color bg_color mix(@color0, @color15, 0.12);
+@define-color tooltip_bg_color mix(@color0, @color15, 0.04);
+@define-color base_color mix(@color0, @color15, 0);
+@define-color fg_color @color15;
+@define-color text_color @color15;
+@define-color selected_fg_color @color15;
+@define-color tooltip_fg_color @color15;
+
+/* colormap actually used by the theme, to be overridden in other css files */
+@define-color theme_bg_color @bg_color;
+@define-color theme_fg_color @fg_color;
+@define-color theme_base_color @base_color;
+@define-color theme_text_color @text_color;
+@define-color theme_selected_bg_color @selected_bg_color;
+@define-color theme_selected_fg_color @selected_fg_color;
+@define-color theme_tooltip_bg_color @tooltip_bg_color;
+@define-color theme_tooltip_fg_color @tooltip_fg_color;
+
+/* shadow effects */
+@define-color light_shadow #eeeeee;
+@define-color dark_shadow #222222;
+
+/* misc colors used by gtk+ */
+@define-color info_fg_color @text_color;
+@define-color info_bg_color @bg_color;
+@define-color warning_fg_color @text_color;
+@define-color warning_bg_color @bg_color;
+@define-color question_fg_color @text_color;
+@define-color question_bg_color @theme_selected_bg_color;
+@define-color error_fg_color @text_color;
+@define-color error_bg_color #f52400;
+@define-color link_color mix (@theme_selected_bg_color, black, 0.15);
+@define-color success_color #53a93f;
+@define-color warning_color #f57900;
+@define-color error_color #f52400;
+
+/* widget colors*/
+@define-color border_color shade(@theme_selected_bg_color, 0.2);
+@define-color button_normal_color shade(@theme_bg_color, 1.20);
+@define-color button_info_color @theme_selected_bg_color;
+@define-color button_default_active_color @theme_selected_bg_color;
+@define-color entry_border_color shade(@theme_base_color, 0.9);
+@define-color frame_border_bottom_color shade(@bg_color, 0.8);
+@define-color sel_color shade(@theme_selected_bg_color, 0.857);
+@define-color switch_bg_color shade(@bg_color, 0.8);
+@define-color panel_bg_color @bg_color;
+@define-color panel_fg_color @fg_color;
+@define-color borders shade(@theme_selected_bg_color, 0.857);
+@define-color scrollbar_trough shade(@theme_base_color, 0.9);
+@define-color scrollbar_slider_prelight mix(@scrollbar_trough, @theme_fg_color, 0.5);
+
+
+/* osd */
+@define-color osd_separator #49525B;
+@define-color osd_fg #ABB4BD;
+@define-color osd_bg #434A54;
+
+/* window manager colors */
+@define-color wm_bg @theme_bg_color;
+@define-color wm_title_focused @theme_fg_color;
+@define-color wm_title_unfocused @theme_text_color;
+@define-color wm_border_focused @border_color;
+@define-color wm_border_unfocused @border_color;
+
+window {
+    font-size: 135%;
+}
+
+/*@import url("gtk-widgets.css");*/
+/*@import url("unity.css");*/
+@import url("widgets/button.css");
+/*@import url("widgets/cell-row.css");
+@import url("widgets/check-radio.css");
+@import url("widgets/column-header.css");
+@import url("widgets/calendar.css");
+@import url("widgets/entry.css");
+@import url("widgets/infobar.css");
+@import url("widgets/menu.css");
+@import url("widgets/notebook.css");
+@import url("widgets/progress-scale.css");
+@import url("widgets/scrollbar.css");
+@import url("widgets/separator.css");
+@import url("widgets/sidebar.css");
+@import url("widgets/chrome.css");
+@import url("widgets/spinbutton.css");
+@import url("widgets/spinner.css");
+@import url("widgets/switch.css");
+@import url("widgets/color-chooser.css");
+@import url("widgets/toolbar.css");
+@import url("widgets/header-bar.css");
+@import url("widgets/osd.css");
+@import url("widgets/csd.css");
+@import url("widgets/combobox.css");
+@import url("widgets/selection-mode.css");
+*/

data/bin/assets/FlatColor/gtk-3.20/gtk.css.base

@@ -0,0 +1,108 @@
+/* Default color scheme */
+@define-color color0 {color0};
+@define-color color1 {color1};
+@define-color color2 {color2};
+@define-color color3 {color3};
+@define-color color4 {color4};
+@define-color color5 {color5};
+@define-color color6 {color6};
+@define-color color7 {color7};
+@define-color color8 {color8};
+@define-color color9 {color9};
+@define-color color10 {color10};
+@define-color color11 {color11};
+@define-color color12 {color12};
+@define-color color13 {color13};
+@define-color color14 {color14};
+@define-color color15 {color15};
+@define-color selected_bg_color {active};
+@define-color bg_color mix(@color0, @color15, 0.12);
+@define-color tooltip_bg_color mix(@color0, @color15, 0.04);
+@define-color base_color mix(@color0, @color15, 0);
+@define-color fg_color @color15;
+@define-color text_color @color15;
+@define-color selected_fg_color @color15;
+@define-color tooltip_fg_color @color15;
+
+/* colormap actually used by the theme, to be overridden in other css files */
+@define-color theme_bg_color @bg_color;
+@define-color theme_fg_color @fg_color;
+@define-color theme_base_color @base_color;
+@define-color theme_text_color @text_color;
+@define-color theme_selected_bg_color @selected_bg_color;
+@define-color theme_selected_fg_color @selected_fg_color;
+@define-color theme_tooltip_bg_color @tooltip_bg_color;
+@define-color theme_tooltip_fg_color @tooltip_fg_color;
+
+/* shadow effects */
+@define-color light_shadow #eeeeee;
+@define-color dark_shadow #222222;
+
+/* misc colors used by gtk+ */
+@define-color info_fg_color @text_color;
+@define-color info_bg_color @bg_color;
+@define-color warning_fg_color @text_color;
+@define-color warning_bg_color @bg_color;
+@define-color question_fg_color @text_color;
+@define-color question_bg_color @theme_selected_bg_color;
+@define-color error_fg_color @text_color;
+@define-color error_bg_color #f52400;
+@define-color link_color mix (@theme_selected_bg_color, black, 0.15);
+@define-color success_color #53a93f;
+@define-color warning_color #f57900;
+@define-color error_color #f52400;
+
+/* widget colors*/
+@define-color border_color shade(@theme_selected_bg_color, 0.2);
+@define-color button_normal_color shade(@theme_bg_color, 1.20);
+@define-color button_info_color @theme_selected_bg_color;
+@define-color button_default_active_color @theme_selected_bg_color;
+@define-color entry_border_color shade(@theme_base_color, 0.9);
+@define-color frame_border_bottom_color shade(@bg_color, 0.8);
+@define-color sel_color shade(@theme_selected_bg_color, 0.857);
+@define-color switch_bg_color shade(@bg_color, 0.8);
+@define-color panel_bg_color @bg_color;
+@define-color panel_fg_color @fg_color;
+@define-color borders shade(@theme_selected_bg_color, 0.857);
+@define-color scrollbar_trough shade(@theme_base_color, 0.9);
+@define-color scrollbar_slider_prelight mix(@scrollbar_trough, @theme_fg_color, 0.5);
+
+
+/* osd */
+@define-color osd_separator #49525B;
+@define-color osd_fg #ABB4BD;
+@define-color osd_bg #434A54;
+
+/* window manager colors */
+@define-color wm_bg @theme_bg_color;
+@define-color wm_title_focused @theme_fg_color;
+@define-color wm_title_unfocused @theme_text_color;
+@define-color wm_border_focused @border_color;
+@define-color wm_border_unfocused @border_color;
+
+@import url("gtk-widgets.css");
+@import url("unity.css");
+@import url("widgets/button.css");
+@import url("widgets/cell-row.css");
+@import url("widgets/check-radio.css");
+@import url("widgets/column-header.css");
+@import url("widgets/calendar.css");
+@import url("widgets/entry.css");
+@import url("widgets/infobar.css");
+@import url("widgets/menu.css");
+@import url("widgets/notebook.css");
+@import url("widgets/progress-scale.css");
+@import url("widgets/scrollbar.css");
+@import url("widgets/separator.css");
+@import url("widgets/sidebar.css");
+@import url("widgets/chrome.css");
+@import url("widgets/spinbutton.css");
+@import url("widgets/spinner.css");
+@import url("widgets/switch.css");
+@import url("widgets/color-chooser.css");
+@import url("widgets/toolbar.css");
+@import url("widgets/header-bar.css");
+@import url("widgets/osd.css");
+@import url("widgets/csd.css");
+@import url("widgets/combobox.css");
+@import url("widgets/selection-mode.css");

data/bin/assets/FlatColor/gtk-3.20/settings.ini

@@ -0,0 +1,7 @@
+[Settings]
+gtk-color-scheme = "base_color:#ffffff\nbg_color:#ECEDEE\ntooltip_bg_color:#dddedf\nselected_bg_color:#33CBBF\ntext_color:#78797A\nfg_color:#6A6B6C\ntooltip_fg_color:#595a5b\nselected_fg_color:#ffffff"
+gtk-auto-mnemonics = 1
+gtk-visible-focus = automatic
+gtk-button-images = 0
+gtk-menu-images = 0
+

data/bin/assets/FlatColor/gtk-3.20/unity.css

@@ -0,0 +1,68 @@
+UnityPanelWidget,
+.unity-panel {
+    border-width: 0 0 0px 0;
+    border-style: solid;
+    border-color: @theme_bg_color;
+    background-color: @theme_bg_color;
+    background-image: none;
+    color: @theme_selected_fg_color;
+}
+
+.unity-panel.menubar,
+.unity-panel .menubar {
+}
+
+.unity-panel.menuitem,
+.unity-panel .menuitem {
+    border-width: 0 1px;
+    color: @theme_selected_fg_color;
+}
+
+.unity-panel.menubar.menuitem:hover,
+.unity-panel.menubar .menuitem *:hover {
+    border-color: @theme_selected_bg_color;
+    background-color: @theme_selected_bg_color;
+    background-image: none;
+    color: @theme_selected_fg_color;
+}
+
+SheetStyleDialog.unity-force-quit {
+    background-color: @theme_bg_color;
+}
+
+
+/* This will theme the top decoration, so the whole space above the window */
+UnityDecoration.top {
+	border: 0px solid shade (@theme_bg_color, 0.5);
+	border-bottom-width: 0;
+	border-radius: 4px 4px 0 0; /* Corner radius, only the top ones should be */
+	padding: 1px 8px 0 8px; /* This padding will be applied to the content of the top layout */
+	background-color: @theme_bg_color; /* Decoration background */
+	color: @theme_fg_color; /* The foreground color will be used to paint the text */
+	text-shadow: none;
+	box-shadow: none;
+}
+
+/* Top decoration for inactive windows */
+UnityDecoration.top:backdrop {
+	border: 0px solid @theme_bg_color;
+	border-bottom-width: 0;
+	background-color: @theme_bg_color;
+	color: @theme_fg_color;
+}
+
+/* Left decoration, it themes only the space at the left of the window */
+UnityDecoration.left,
+/* Right decoration, it themes only the space at the right of the window */
+UnityDecoration.right,
+/* Bottom decoration, it themes all the space below the window */
+UnityDecoration.bottom {
+	background-color: @theme_bg_color;
+}
+
+/* Left, right and bottom decorations themes for inactive windows */
+UnityDecoration.left:backdrop,
+UnityDecoration.right:backdrop,
+UnityDecoration.bottom:backdrop {
+	background-color: @theme_bg_color;
+}

data/bin/assets/FlatColor/gtk-3.20/widgets/button.css

@@ -0,0 +1,58 @@
+
+/**********
+ * button *
+ **********/
+button {/*
+    padding: 5px;
+    */border-width: 0px;
+    outline-width: 0px;/*
+    border-style: solid;
+    border-color: transparent;
+    border-radius: 0px;
+    */background-color: @button_normal_color;
+    background-image: none;
+    box-shadow: none;
+    /*
+    color: @text_color;
+*/}
+
+button:focus {
+    border: @selected_bg_color 2px dotted;
+    color: @fg_color;
+}
+
+button:hover {
+    background-color: shade(@selected_bg_color, 0.9);
+    color: @fg_color;
+}
+
+button:active,
+button:active:hover,
+button.toggle:checked {
+    color: @fg_color;
+    background-color: shade(@selected_bg_color, 0.83);
+}
+
+button:disabled {
+    background-color: mix(@color8, @color0, 0.40);
+    background-image: none;
+    color: mix(@text_color, @color0, 0.40);
+}
+
+button:active:disabled {
+
+}
+
+GtkLinkButton.button,
+GtkLinkButton.button:focus,
+GtkLinkButton.button:hover,
+GtkLinkButton.button:active,
+GtkLinkButton.button:focus:active,
+GtkLinkButton.button:focus:hover {
+
+}
+
+button.radio:checked {
+    color: @fg_color;
+    background-color: shade(@selected_bg_color, 0.83);
+}

data/bin/assets/FlatColor/gtk-3.20/widgets/calendar.css

@@ -0,0 +1,32 @@
+/************
+ * Calendar *
+ ***********/
+calendar {
+	padding: 1px;
+	border: 1px solid @bg_color;
+	color: @selected_fg_color;
+}
+
+calendar:disabled {
+	color: shade(@selected_fg_color, 0.8) ;
+}
+
+calendar:selected {
+	border-radius: 0px; 
+}
+
+calendar.header {
+	border: none;
+	background-color: @tooltip_bg_color;
+	border-radius: 0; 
+}
+
+calendar:indeterminate {
+	color: alpha(currentColor, 0.4); 
+}
+
+calendar.highlight {
+	background-color: alpha(@selected_bg_color, 0.1);
+	color: @selected_fg_color;
+	font-weight: 100; 
+}

data/bin/assets/FlatColor/gtk-3.20/widgets/cell-row.css

@@ -0,0 +1,25 @@
+/****************
+ * cell and row *
+ ****************/
+.cell {
+    border-width: 0;
+    border-radius: 0px;
+}
+
+.cell:selected,
+.cell:selected:focus {
+    background-color: @selected_bg_color;
+    color: @selected_fg_color;
+}
+
+row:selected,
+row:selected:hover,
+row:selected:focus {
+    border-width: 0;
+    border-style: none;
+    border-radius: 0;
+    background-color: @selected_bg_color;
+    background-image: none;
+    color: @selected_fg_color;
+
+}

data/bin/assets/FlatColor/gtk-3.20/widgets/check-radio.css

@@ -0,0 +1,164 @@
+/*************************
+ * Check and Radio items *
+ *************************/
+
+check,
+radio {
+    color: alpha(currentColor, 0.75);
+    background-color: @base_color;
+    margin-right: 5px;
+}
+
+radio {
+    border-radius: 10px;
+}
+
+check:disabled,
+radio:disabled {
+	background-color: mix(@theme_bg_color, @theme_fg_color, 0.1);
+}
+
+check:hover,
+check:active,
+radio:hover,
+radio:active {
+    background-color: shade(@selected_bg_color, 0.5);
+}
+check:checked,
+check:checked:disabled,
+radio:checked,
+radio:checked:disabled {
+    background-color: shade(@selected_bg_color, 0.9);
+}
+check:checked,
+check:indeterminate,
+radio:checked,
+radio:indeterminate {
+    color: shade(@bg_color, 0.8);
+}
+check:checked:disabled,
+check:indeterminate:disabled,
+radio:checked:disabled,
+radio:indeterminate:disabled {
+    color: shade(@bg_color, 0.4);
+}
+check:only-child,
+radio:only-child {} menu menuitem check,
+menu menuitem radio {
+    transition: none;
+}
+
+menu menuitem check:not(:checked):not(:indeterminate):hover,
+menu menuitem radio:not(:checked):not(:indeterminate):hover {
+    color: alpha(currentColor, 0.75);
+}
+
+menu menuitem check,
+menu menuitem check:hover,
+menu menuitem check:disabled,
+menu menuitem radio,
+menu menuitem radio:hover,
+menu menuitem radio:disabled {
+	margin: 0;
+	padding: 0;
+}
+
+menu menuitem check:checked {
+    -gtk-icon-source: -gtk-scaled(url("../assets/check.png"));
+}
+
+check:checked {
+    -gtk-icon-source: -gtk-recolor(url("../assets/check.png"));
+}
+check:indeterminate {
+    -gtk-icon-source: -gtk-recolor(url("../assets/check-mixed.png"));
+}
+radio {
+    border-image: -gtk-gradient(radial, center center, 0, center center, 0.001, to(@selected_bg_color), to(transparent)) 24/24px;
+    -gtk-icon-source: image(-gtk-recolor(url("../assets/blank.png")), -gtk-recolor(url("../assets/blank.png")));
+}
+radio:checked {
+    -gtk-icon-source: -gtk-recolor(url("../assets/blank.png"));
+}
+radio:checked:disabled {
+    border-image: -gtk-gradient(radial, center center, 0, center center, 0.10417, to(rgba(68, 138, 255, 0.4)), to(transparent)) 24/24px;
+}
+radio:indeterminate {
+    -gtk-icon-source: -gtk-recolor(url("../assets/blank.png"));
+}
+radio:indeterminate:checked {
+    -gtk-icon-source: -gtk-recolor(url("../assets/blank.png"));
+}
+
+menu menuitem check:not(:indeterminate):checked,
+menu menuitem radio:not(:indeterminate):checked,
+menu menuitem check:indeterminate:checked,
+menu menuitem radio:indeterminate:checked {
+    animation: none;
+}
+treeview.view check,
+treeview.view radio {
+    padding: 0;
+}
+treeview.view check:checked:hover,
+treeview.view check:selected:checked:hover,
+treeview.view radio:checked:hover,
+treeview.view radio:selected:checked:hover {
+    background-image: none;
+}
+treeview.view check,
+treeview.view radio {
+    color: shade(@selected_bg_color, 0.8);
+}
+treeview.view check:hover,
+treeview.view check:active,
+treeview.view radio:hover,
+treeview.view radio:active {
+    color: shade(@selected_bg_color, 0.8);
+}
+treeview.view check:disabled,
+treeview.view radio:disabled {
+    color: shade(@selected_bg_color, 0.8);
+}
+treeview.view check:checked,
+treeview.view check:indeterminate,
+treeview.view radio:checked,
+treeview.view radio:indeterminate {
+    color: @selected_bg_color;
+}
+treeview.view check:checked:disabled,
+treeview.view check:indeterminate:disabled,
+treeview.view radio:checked:disabled,
+treeview.view radio:indeterminate:disabled {
+    color: shade(@selected_bg_color, 0.8);
+}
+treeview.view check:selected,
+treeview.view radio:selected {
+    color: shade(@fg_color, 0.75);
+}
+treeview.view check:selected:hover,
+treeview.view check:selected:active,
+treeview.view radio:selected:hover,
+treeview.view radio:selected:active {
+    color: @selected_fg_color;
+}
+treeview.view check:selected:disabled,
+treeview.view radio:selected:disabled {
+    color: shade(@selected_fg_color, 0.3);
+}
+treeview.view check:selected:checked,
+treeview.view check:selected:indeterminate,
+treeview.view radio:selected:checked,
+treeview.view radio:selected:indeterminate {
+    color: #448AFF;
+}
+treeview.view check:selected:checked:disabled,
+treeview.view check:selected:indeterminate:disabled,
+treeview.view radio:selected:checked:disabled,
+treeview.view radio:selected:indeterminate:disabled {
+    color: @selected_fg_color;
+}
+treeview.view radio:checked {
+    -gtk-icon-source: image(-gtk-recolor(url("../assets/radio-checked.png")), -gtk-recolor(url("assets/radio-checked.png")));
+    border-image: none;
+}

data/bin/assets/FlatColor/gtk-3.20/widgets/chrome.css

@@ -0,0 +1,16 @@
+entry.chromium {
+	color: @selected_fg_color;
+	background-color: @selected_bg_color;
+}
+
+menu.chromium {
+	background-color: mix(white, black, 0.05);
+	color: black;
+	border: none 0px;
+}
+
+window.background.chromium {
+	border: none 0px;
+    background-color: @selected_bg_color;
+	color: @theme_fg_color;
+}