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

[Christian Hergert <chergert src gnome org>]

commit 7fb3d613970757e83df0cb2263b1ed33f43eda61
Author: Christian Hergert <christian hergert me>
Date:   Thu Apr 28 03:02:27 2016 -0700

    Revert "style: fix panel headers for GTK 3.20"
    
    This reverts commit 07b9952e0677170816f19b30023a9becf89f1235.

 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 a5c91cc..34d6907 100644
--- a/data/theme/Adwaita-panels.css
+++ b/data/theme/Adwaita-panels.css
@@ -24,7 +24,7 @@ docktab {
 }
 
 docktab > label {
-  font-size: 0.7em;
+  font-size: 0.9em;
 }
 
 docktab > * {