diff options
Diffstat (limited to 'desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff')
| -rw-r--r-- | desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff new file mode 100644 index 0000000000..1f229d7d88 --- /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 |