diff options
Diffstat (limited to 'desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff')
| -rw-r--r-- | desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff | 10 |
1 files changed, 10 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 0000000000..11b0271949 --- /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 |