[gnome-software] Disable GtkButton's internal padding for tile buttons

[Kalev Lember <klember src gnome org>]

commit 7ef24068a970d3674400dc6995cb96346f057266
Author: Kalev Lember <kalevlember gmail com>
Date:   Tue Sep 2 22:46:33 2014 +0200

    Disable GtkButton's internal padding for tile buttons
    
    ... and add the same using margin properties instead. This paves way for
    the next commit, giving us to better control where to place items in the
    tile buttons.

 src/app-tile.ui      |    9 ++++++---
 src/category-tile.ui |    8 ++++----
 src/gtk-style.css    |    5 +----
 src/popular-tile.ui  |    5 ++++-
 4 files changed, 15 insertions(+), 12 deletions(-)
---
diff --git a/src/app-tile.ui b/src/app-tile.ui
index 5d12195..34743be 100644
--- a/src/app-tile.ui
+++ b/src/app-tile.ui
@@ -38,8 +38,8 @@
                 <property name="visible_window">True</property>
                 <property name="halign">start</property>
                 <property name="valign">start</property>
-                <property name="margin-top">53</property>
-                <property name="margin-start">4</property>
+                <property name="margin-top">58</property>
+                <property name="margin-start">12</property>
                 <style>
                   <class name="installed-overlay-box"/>
                 </style>
@@ -58,7 +58,10 @@
             <child>
               <object class="GtkGrid" id="grid">
                 <property name="visible">True</property>
-                <property name="margin">9</property>
+                <property name="margin-top">14</property>
+                <property name="margin-bottom">15</property>
+                <property name="margin-start">17</property>
+                <property name="margin-end">17</property>
                 <property name="row-spacing">3</property>
                 <property name="column-spacing">12</property>
                 <child>
diff --git a/src/category-tile.ui b/src/category-tile.ui
index 607086e..eaba017 100644
--- a/src/category-tile.ui
+++ b/src/category-tile.ui
@@ -10,10 +10,10 @@
     <child>
       <object class="GtkLabel" id="label">
         <property name="visible">True</property>
-        <property name="margin_top">6</property>
-        <property name="margin_bottom">6</property>
-        <property name="margin_start">10</property>
-        <property name="margin_end">10</property>
+        <property name="margin_top">11</property>
+        <property name="margin_bottom">12</property>
+        <property name="margin_start">18</property>
+        <property name="margin_end">18</property>
         <property name="xalign">0</property>
       </object>
     </child>
diff --git a/src/gtk-style.css b/src/gtk-style.css
index 70237b4..02cf674 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -25,15 +25,12 @@
   .screenshot-image { border-radius: 5px; }
   .screenshot-image-thumb { border-radius: 3px; }
 
-GsAppTile .tile {
-        padding: 0;
-}
-
 .app-tile-label {
         font-size: 10px;
 }
 
 .view.tile {
+       padding: 0;
        box-shadow: inset 0 1px @theme_base_color, 0 1px 1px alpha(black,0.4);
        border: 1px solid mix(@theme_base_color,@theme_fg_color,0.3);
        background-image: none;
diff --git a/src/popular-tile.ui b/src/popular-tile.ui
index 5430311..8b3baec 100644
--- a/src/popular-tile.ui
+++ b/src/popular-tile.ui
@@ -62,7 +62,10 @@
                     <property name="orientation">vertical</property>
                     <property name="halign">fill</property>
                     <property name="valign">fill</property>
-                    <property name="margin">10</property>
+                    <property name="margin-start">18</property>
+                    <property name="margin-end">18</property>
+                    <property name="margin-top">15</property>
+                    <property name="margin-bottom">16</property>
                     <child>
                       <object class="GtkImage" id="image">
                         <property name="width-request">64</property>