[gnome-builder] style: fix panel headers for GTK 3.20

[Christian Hergert <chergert src gnome org>]

commit 07b9952e0677170816f19b30023a9becf89f1235
Author: Christian Hergert <christian hergert me>
Date:   Thu Apr 28 00:56:00 2016 -0700

    style: fix panel headers for GTK 3.20
    
    We can revert this after we branch for 3.20 stable.

 data/theme/Adwaita-panels.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/theme/Adwaita-panels.css b/data/theme/Adwaita-panels.css
index 34d6907..a5c91cc 100644
--- a/data/theme/Adwaita-panels.css
+++ b/data/theme/Adwaita-panels.css
@@ -24,7 +24,7 @@ docktab {
 }
 
 docktab > label {
-  font-size: 0.9em;
+  font-size: 0.7em;
 }
 
 docktab > * {