[gnome-system-monitor] Fix the size of the buttons in the headerbar

[Robert Roth <robertroth src gnome org>]

commit e16e55e4f22c0e727a4efe7404652b97c7f6b24a
Author: Yosef Or Boczko <yoseforb gmail com>
Date:   Tue Jan 7 17:37:38 2014 +0200

    Fix the size of the buttons in the headerbar
    
    https://bugzilla.gnome.org/show_bug.cgi?id=721706

 data/interface.ui |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index af40dde..53ad67b 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -23,7 +23,11 @@
         <child>
           <object class="GtkToggleButton" id="search_button">
             <property name="visible">True</property>
+            <property name="valign">center</property>
             <property name="action_name">win.search</property>
+            <style>
+              <class name="image-button"/>
+            </style>
             <child>
               <object class="GtkImage" id="search_image">
                 <property name="visible">True</property>
@@ -40,7 +44,11 @@
           <object class="GtkMenuButton" id="process_menu_button">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
+            <property name="valign">center</property>
             <property name="halign">end</property>
+            <style>
+              <class name="image-button"/>
+            </style>
             <child>
               <object class="GtkImage" id="menu_button_image">
                 <property name="visible">True</property>