[gnome-builder] prefs: override styling manually

[Christian Hergert <chergert src gnome org>]

commit a7f23be95a6da5b2bff4be7c1e2b3ff62fab43c8
Author: Christian Hergert <chergert redhat com>
Date:   Sat Nov 7 02:19:14 2015 -0800

    prefs: override styling manually
    
    I can't get this to align with css. Fake it 'till we make it.

 libide/preferences/ide-preferences-group.c |   14 +++++++++++---
 1 files changed, 11 insertions(+), 3 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-group.c b/libide/preferences/ide-preferences-group.c
index 322418d..ea16a25 100644
--- a/libide/preferences/ide-preferences-group.c
+++ b/libide/preferences/ide-preferences-group.c
@@ -190,7 +190,15 @@ ide_preferences_group_add (IdePreferencesGroup *self,
       gtk_container_add (GTK_CONTAINER (self->list_box), row);
     }
   else
-    gtk_container_add_with_properties (GTK_CONTAINER (self->box), widget,
-                                       "position", position,
-                                       NULL);
+    {
+      /* FIXME: Once we can do this with CSS ... */
+      g_object_set (widget,
+                    "margin-start", 11,
+                    "margin-end", 11,
+                    NULL);
+
+      gtk_container_add_with_properties (GTK_CONTAINER (self->box), widget,
+                                         "position", position,
+                                         NULL);
+    }
 }