[gnome-builder/wip/chergert/layout] editor: some tweaks for the editor properties

[Christian Hergert <chergert src gnome org>]

commit eca8f660d91268c5ec26893314e56113a3ce9388
Author: Christian Hergert <chergert redhat com>
Date:   Thu Jul 6 14:49:28 2017 -0700

    editor: some tweaks for the editor properties

 data/themes/shared/shared-editor.css   |    3 +++
 libide/editor/ide-editor-properties.c  |    1 +
 libide/editor/ide-editor-properties.ui |    2 +-
 3 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index aa8dc50..1eb079b 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -63,3 +63,6 @@ ideeditorsidebar label.error {
 ideeditorsidebar label.error:backdrop {
   font-weight: normal;
 }
+ideeditorproperties modelbutton {
+  padding: 0;
+}
diff --git a/libide/editor/ide-editor-properties.c b/libide/editor/ide-editor-properties.c
index b7ab461..70b6af0 100644
--- a/libide/editor/ide-editor-properties.c
+++ b/libide/editor/ide-editor-properties.c
@@ -87,6 +87,7 @@ ide_editor_properties_class_init (IdeEditorPropertiesClass *klass)
 
   gtk_widget_class_set_template_from_resource (widget_class,
                                                "/org/gnome/builder/ui/ide-editor-properties.ui");
+  gtk_widget_class_set_css_name (widget_class, "ideeditorproperties");
 }
 
 static void
diff --git a/libide/editor/ide-editor-properties.ui b/libide/editor/ide-editor-properties.ui
index af0d563..b282bfa 100644
--- a/libide/editor/ide-editor-properties.ui
+++ b/libide/editor/ide-editor-properties.ui
@@ -9,7 +9,7 @@
           <object class="GtkBox">
             <property name="visible">true</property>
             <property name="margin">12</property>
-            <property name="spacing">6</property>
+            <property name="spacing">0</property>
             <property name="orientation">vertical</property>
             <child>
               <object class="GtkLabel">