[gnome-builder] style: add work around for 10pt Cantarell interface font

[Christian Hergert <chergert src gnome org>]

commit eea28ea8e767d5962999bd2be69fe806c7ef3cbc
Author: Christian Hergert <christian hergert me>
Date:   Sat Apr 25 14:37:01 2015 -0700

    style: add work around for 10pt Cantarell interface font
    
    The top bar was broken for Cantarell at 10pt font because GtkEntry
    was not expanding to the allotted space. (Allocation was correct,
    but the draw area was not).
    
    This simply works around the issue by using the same margin we would
    get from image-button and applies it directly to margin-top.

 data/ui/gb-search-box.ui |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/gb-search-box.ui b/data/ui/gb-search-box.ui
index 07f26c3..7d1a2a5 100644
--- a/data/ui/gb-search-box.ui
+++ b/data/ui/gb-search-box.ui
@@ -17,10 +17,12 @@
         <property name="visible">true</property>
         <property name="popover">popover</property>
         <style>
-          <class name="image-button"/>
+          <class name="button"/>
         </style>
         <child>
           <object class="GtkImage">
+            <!-- we use margin-top here because .image-button doesn't work with 10pt font -->
+            <property name="margin-top">3</property>
             <property name="visible">True</property>
             <property name="icon_name">go-down-symbolic</property>
           </object>