[gnome-themes-standard] Make font changes apply to header bar titles

[Matthias Clasen <matthiasc src gnome org>]

commit 69deb22ea92e6d0d432f6ca776895ef83fb1fe0e
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Feb 21 22:48:58 2014 -0500

    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

 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 fbd8351..493dca3 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;
 }