diff options
| author | raveit65 <[email protected]> | 2016-04-23 12:37:01 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-04-23 12:37:29 +0200 |
| commit | e0fcecf58eaa7790a0042fce8dd99cea73b29b27 (patch) | |
| tree | 03e35c64ff9b651073940fe84c967f7222b225b0 /desktop-themes/GreenLaguna | |
| parent | 675fa4fc968e3463d5de6afeacba8c2b9c28a60a (diff) | |
| download | mate-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.css | 19 |
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); } |