From 073a9c9cd543f5739d72beb4bc9eb4c79c175a99 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Tue, 10 Mar 2015 14:07:27 -0400
Subject: [PATCH] inspector: Add some margin to css editor

Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918
---
 gtk/inspector/css-editor.ui | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gtk/inspector/css-editor.ui b/gtk/inspector/css-editor.ui
index cd77f1a1d1..96fbc847a9 100644
--- a/gtk/inspector/css-editor.ui
+++ b/gtk/inspector/css-editor.ui
@@ -86,6 +86,8 @@
             <property name="wrap-mode">word</property>
             <property name="monospace">True</property>
             <property name="has-focus">True</property>
+            <property name="left-margin">6</property>
+            <property name="right-margin">6</property>
           </object>
         </child>
       </object>