diff options
| author | Jonathan Kang <jonathankang@gnome.org> | 2019-04-18 17:30:11 +0800 |
|---|---|---|
| committer | Jonathan Kang <jonathankang@gnome.org> | 2019-04-18 17:37:45 +0800 |
| commit | 669689ac609e3d5ca1664fb464e55bd965b99cc3 (patch) | |
| tree | e7ad28af0f3533add7387fc6534160142c667d40 | |
| parent | e7e8da05f34e73fdca9c9cc2044916ad8df8e658 (diff) | |
| download | gnome-logs-669689ac609e3d5ca1664fb464e55bd965b99cc3.tar.gz | |
toolbar: Fix headerbar’s height bigger than default
Setting margin-bottom/top of the menu button to zero to avoid growing
the height of the headerbar.
https://gitlab.gnome.org/GNOME/gnome-logs/issues/38
| -rw-r--r-- | data/gl-style.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/data/gl-style.css b/data/gl-style.css index 695e940..fb9ab90 100644 --- a/data/gl-style.css +++ b/data/gl-style.css @@ -25,8 +25,10 @@ } .title-menu-button { - padding-top: 0px; + margin-bottom: 0px; + margin-top: 0px; padding-bottom: 0px; + padding-top: 0px; } .compressed-entries-label { |