From b06bd56d769da98b952bf1ac2b4f33f32c785b22 Mon Sep 17 00:00:00 2001 From: Adriano Moura Date: Fri, 2 Dec 2016 18:59:13 -0200 Subject: [PATCH] Better padding on the window header --- .../Chicago95/gtk-3.0/gtk-widgets-assets.css | 2 +- Theme/Chicago95/gtk-3.0/gtk-widgets.css | 23 ++++++++++--------- 2 files changed, 13 insertions(+), 12 deletions(-) diff --git a/Theme/Chicago95/gtk-3.0/gtk-widgets-assets.css b/Theme/Chicago95/gtk-3.0/gtk-widgets-assets.css index 7ff9594..4f6b68c 100644 --- a/Theme/Chicago95/gtk-3.0/gtk-widgets-assets.css +++ b/Theme/Chicago95/gtk-3.0/gtk-widgets-assets.css @@ -76,7 +76,7 @@ /* Groups these buttons together */ /* doesen't work on ssd windows. get your shit together gnome poeple */ .titlebutton.close { - margin-right: 2px; + margin-right: 0px; margin-left: -4px; } .titlebutton.maximize { diff --git a/Theme/Chicago95/gtk-3.0/gtk-widgets.css b/Theme/Chicago95/gtk-3.0/gtk-widgets.css index ab5db8c..f47859e 100644 --- a/Theme/Chicago95/gtk-3.0/gtk-widgets.css +++ b/Theme/Chicago95/gtk-3.0/gtk-widgets.css @@ -1513,6 +1513,7 @@ headerbar, .titlebar { padding: 0px; padding-left: 2px; + padding-right: 2px; margin: 0px; background-color: @selected_bg_color; background-image: none; @@ -1541,19 +1542,11 @@ headerbar:backdrop > box > label, } headerbar entry { - margin: 2px; - padding: 0px; + margin: 3px; + padding-top: 0px; + padding-bottom: 0px; } -/* -.titlebar button:not(.titlebutton) { - padding: 0px; - margin-top: 3px; - margin-bottom: 3px; - min-height: 0px; - min-width: 0px; -}*/ - /* we dont want any extra padding in those */ menuitem > window, window > menu { @@ -1572,6 +1565,14 @@ window > menu { padding-right: 4px; } +.titlebar button:not(.titlebutton) { + padding: 0px; +/* margin-top: 3px; + margin-bottom: 3px;*/ + min-height: 0px; + min-width: 0px; +} + window.csd tooltip { border-radius: 0; border: 0 none black;