gui: Tweak style of sidebar headers

This commit is contained in:
Patrick Griffis 2017-05-27 13:12:04 -04:00
parent 39cbd82f40
commit 7113e676b4
2 changed files with 15 additions and 1 deletions

View file

@ -32,7 +32,7 @@ class SidebarRow(Gtk.ListBoxRow):
class SidebarHeader(Gtk.Box):
def __init__(self, name):
super().__init__(orientation=Gtk.Orientation.VERTICAL)
self.get_style_context().add_class('sidebar-row')
self.get_style_context().add_class('sidebar-header')
label = Gtk.Label(halign=Gtk.Align.START, hexpand=True, label=name)
if name == 'Runners':
box = Gtk.Box()

View file

@ -10,4 +10,18 @@
.sidebar-row {
padding: 6px 12px;
}
.sidebar-header {
padding: 6px 12px;
}
.sidebar-header label {
padding: 4px 0;
}
.sidebar-header button {
padding: 0;
margin: 0;
border: 0;
}