1 files changed, 0 insertions, 46 deletions
diff --git a/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff
deleted file mode 100644
index 1f229d7d88..0000000000
--- a/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff
+++ /dev/null
@@ -1,46 +0,0 @@
---- 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