diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2014-02-21 22:48:58 -0500 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2014-03-03 14:55:24 -0500 |
| commit | 69deb22ea92e6d0d432f6ca776895ef83fb1fe0e (patch) | |
| tree | aebe7a32bfb1d031d74a940d5d88d19a7570444a | |
| parent | a4ea4c6d302b19f9db8c26eca1068d21d0c263cb (diff) | |
| download | gnome-themes-standard-69deb22ea92e6d0d432f6ca776895ef83fb1fe0e.tar.gz | |
Make font changes apply to header bar titles
It is enough to set weight and size for the title / subtitle.
https://bugzilla.gnome.org/show_bug.cgi?id=723240
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index fbd83518..493dca3c 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2627,12 +2627,12 @@ GtkCheckButton:selected:focus { } .header-bar .title { - font: Bold 11; + font: Bold; padding: 0px 12px 0px 12px; } .header-bar .subtitle { - font: 9; + font-size: 80%; padding: 0px 12px 0px 12px; } |