diff options
Diffstat (limited to 'desktop/clearlooks-phenix-theme/patches')
3 files changed, 66 insertions, 0 deletions
diff --git a/desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff b/desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff new file mode 100644 index 000000000000..11b0271949e1 --- /dev/null +++ b/desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff @@ -0,0 +1,10 @@ +--- a/gtk-3.0/gtk-widgets.css ++++ b/gtk-3.0/gtk-widgets.css +@@ -1186,6 +1186,7 @@ + + .menuitem.separator { + color: @menu_separator_color; ++ padding: 3px 1px 3px 1px; + + -GtkMenuItem-horizontal-padding: 0; + }
\ No newline at end of file diff --git a/desktop/clearlooks-phenix-theme/patches/ceeaf6961e2e34a4022e3a64d0009e3abea3d24f.diff b/desktop/clearlooks-phenix-theme/patches/ceeaf6961e2e34a4022e3a64d0009e3abea3d24f.diff new file mode 100644 index 000000000000..8ae286e9a61c --- /dev/null +++ b/desktop/clearlooks-phenix-theme/patches/ceeaf6961e2e34a4022e3a64d0009e3abea3d24f.diff @@ -0,0 +1,10 @@ +--- a/gtk-3.0/gtk-widgets.css ++++ b/gtk-3.0/gtk-widgets.css +@@ -1106,6 +1106,7 @@ + .menubar .menuitem { + border-style: none; + padding: 3px 5px; ++ background-color: transparent; + } + + .menubar .menuitem:hover {
\ No newline at end of file diff --git a/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff new file mode 100644 index 000000000000..1f229d7d8812 --- /dev/null +++ b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff @@ -0,0 +1,46 @@ +--- a/gtk-3.0/gtk-widgets.css ++++ b/gtk-3.0/gtk-widgets.css +@@ -416,7 +416,7 @@ + border-color: @border_color; + border-style: solid; + border-radius: 3px; +- background-color: @theme_base_color; ++ background-color: @theme_bg_color; + padding: 0; + } + +@@ -1057,7 +1057,7 @@ + .menu { + background-color: @menu_bg_color; + color: @menu_fg_color; +- padding: 0; ++ padding: 1px; + border-style: solid; + border-width: 1px; + border-color: @menu_border_color; +@@ -1065,7 +1065,7 @@ + + .menu.button { + background-image: none; +- background-color: @theme_base_color; ++ background-color: @menu_bg_color; + color: @internal_element_color; + + border-image: none; +@@ -1092,7 +1092,7 @@ + /* this controls the general appearance of the menubar */ + .menubar { + border-style: none; +- padding: 4px; ++ padding: 1px; + -GtkWidget-window-dragging: true; + -GtkMenuBar-internal-padding: 1; + background-image: -gtk-gradient (linear, +@@ -1130,6 +1130,7 @@ + + .menu .menuitem { + -GtkMenuItem-arrow-scaling: 0.5; ++ background-color: @menu_bg_color; + padding: 4px; + } +
\ No newline at end of file |