tyler.durden/Chicago95
1
0
Fork 0
mirror of https://github.com/grassmunk/Chicago95.git synced 2025-07-29 00:24:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

Better padding on the window header

Browse Source
This commit is contained in:
Adriano Moura 2016-12-02 18:59:13 -02:00
parent a056f12488
commit b06bd56d76
2 changed files with 13 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Theme/Chicago95/gtk-3.0/gtk-widgets-assets.css
View File

@ -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 {

23
Theme/Chicago95/gtk-3.0/gtk-widgets.css
View File

@ -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;