aboutsummaryrefslogtreecommitdiff
path: root/desktop/clearlooks-phenix-theme/patches
diff options
context:
space:
mode:
Diffstat (limited to 'desktop/clearlooks-phenix-theme/patches')
-rw-r--r--desktop/clearlooks-phenix-theme/patches/3a96a549d480d8defc2bc14e2aac176e7c40c382.diff10
-rw-r--r--desktop/clearlooks-phenix-theme/patches/ceeaf6961e2e34a4022e3a64d0009e3abea3d24f.diff10
-rw-r--r--desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff46
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