diff options
| author | raveit65 <[email protected]> | 2015-08-14 17:51:01 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2015-08-14 17:51:01 +0200 |
| commit | a1a0ad5d19feb1aeab530aacc185227c9b1b826c (patch) | |
| tree | f17fcaac365c27e9091ca3d82a9b43efa2c390c1 /desktop-themes | |
| parent | 1827b650b8e0032d291b9027e4175898911840b9 (diff) | |
| download | mate-themes-a1a0ad5d19feb1aeab530aacc185227c9b1b826c.tar.bz2 mate-themes-a1a0ad5d19feb1aeab530aacc185227c9b1b826c.tar.xz | |
GTK3 ContrastHigh: adjust padding of notebook tabs
Diffstat (limited to 'desktop-themes')
| -rw-r--r-- | desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css index 4d569653..ac920bc7 100644 --- a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css @@ -1345,15 +1345,12 @@ GtkSwitch.trough:active:insensitive { /* horizontal tabs */ -.notebook tab.top, -/* wtf, why this doesn't work? */ -.notebook tab.bottom { - padding: 6px 21px 4px; +.notebook tab.top { + padding: 6px 3px 4px 12px; } -/* workaround for wtf */ -.notebook tab.bottom:active { - padding: 3px 21px 7px 21px; +.notebook tab.bottom { + padding: 4px 3px 6px 12px; } .notebook tab.top:active, @@ -1404,7 +1401,7 @@ GtkSwitch.trough:active:insensitive { .notebook tab.left, .notebook tab.right { - padding: 5px 20px; + padding: 5px 3px 5px 12px; } .notebook tab.left:active, |