Last active
June 6, 2019 19:39
-
-
Save matheusmota/57f0ad2260e3a2848ab2e9dcffef3f69 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| My Ubuntu Gnome configurations |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * File: ~/.config/gtk-3.0/gtk.css | |
| * Goal: Smallest window title bar on Ubuntu 18+ | |
| * | |
| * Reduce height of window header (title?) bars. | |
| * Seems enough to specify padding, no need to repeat | |
| * padding-left padding-right padding-top padding-bottom | |
| * nor it seems necessary to even mention | |
| * margin-top margin-bottom | |
| */ | |
| headerbar entry, | |
| headerbar spinbutton, | |
| headerbar button, | |
| headerbar separator { | |
| margin-top: 0px; /* same as headerbar side padding for nicer proportions */ | |
| margin-bottom: 0px; | |
| } | |
| headerbar { | |
| min-height: 0px; | |
| padding-left: 0px; /* same as childrens vertical margins for nicer proportions */ | |
| padding-right: 0px; | |
| margin: 0px; /* same as headerbar side padding for nicer proportions */ | |
| padding: 0px; | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment