summaryrefslogtreecommitdiff
path: root/desktop-themes/GreenLaguna
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2016-04-23 12:37:01 +0200
committerraveit65 <[email protected]>2016-04-23 12:37:29 +0200
commite0fcecf58eaa7790a0042fce8dd99cea73b29b27 (patch)
tree03e35c64ff9b651073940fe84c967f7222b225b0 /desktop-themes/GreenLaguna
parent675fa4fc968e3463d5de6afeacba8c2b9c28a60a (diff)
downloadmate-themes-e0fcecf58eaa7790a0042fce8dd99cea73b29b27.tar.bz2
mate-themes-e0fcecf58eaa7790a0042fce8dd99cea73b29b27.tar.xz
GTK+-3.20 GreenLaguna: little clean up
Diffstat (limited to 'desktop-themes/GreenLaguna')
-rw-r--r--desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css19
1 files changed, 1 insertions, 18 deletions
diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
index 7156bf7c..7cfaa0f6 100644
--- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
@@ -2,32 +2,15 @@
padding: 0px;
background-clip: padding-box;
/* Style properties */
-/* -GtkButton-child-displacement-x: 1;
- -GtkButton-child-displacement-y: 1;
- -GtkButton-default-border: 0;
- -GtkButton-image-spacing: 4;
- -GtkButton-interior-focus: true; */
-GtkToolButton-icon-spacing: 4;
-GtkTextView-error-underline-color: @error_color;
-/* -GtkPaned-handle-size: 5;
- -GtkCheckButton-indicator-size: 16;
- -GtkCheckButton-indicator-spacing: 0;
- -GtkCheckMenuItem-indicator-size: 12; */
-GtkScrolledWindow-scrollbar-spacing: 0;
-/* -GtkScrolledWindow-scrollbars-within-bevel: 0; */
-GtkToolItemGroup-expander-size: 12;
-/* -GtkExpander-expander-size: 12; */
-GtkTreeView-expander-size: 12; /* arrow size in list/tree views */
-GtkTreeView-horizontal-separator: 4;
-/* -GtkMenuBar-shadow-type: none;
- -GtkMenu-horizontal-padding: 0;
- -GtkMenu-vertical-padding: 0; */
-GtkIMHtml-hyperlink-color: @link_color;
-GtkHTML-link-color: @link_color;
-/* -GtkWidget-wide-separators: true; */
-WnckTasklist-fade-overlay-rect: 0;
-/* -GtkWidget-focus-padding: 2;
- -GtkWidget-focus-line-width: 0; */
outline-color: @focus_border;
outline-style: dashed;
outline-offset: 2px;
@@ -3371,7 +3354,7 @@ assistant .sidebar {
border-color: shade(@theme_bg_color, 0.9);
border-width: 1px;
border-radius: 3px;
- color: mix (@theme_fg_color, @theme_bg_color, 0.40); /*?*/
+ color: mix (@theme_fg_color, @theme_bg_color, 0.40);
background-color: shade(@theme_bg_color, 0.9);
}