[gnome-text-editor] page: tweak page margins

[Christian Hergert <chergert src gnome org>]

commit 2dcd956426cbc1cfada9b1c6e05377ce2fd22662
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 20 11:14:12 2021 -0700

    page: tweak page margins
    
    The 16 seemed a bit too much now that we are setting line spacing a bit
    differently.
    
    Also, aligning the source map seems less important now, so just make the
    borders consistent around top and bottom.

 src/editor-page.ui | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)
---
diff --git a/src/editor-page.ui b/src/editor-page.ui
index 3eb73a1..5a16f28 100644
--- a/src/editor-page.ui
+++ b/src/editor-page.ui
@@ -26,10 +26,10 @@
                           <class name="editor"/>
                         </style>
                         <property name="auto-indent">true</property>
-                        <property name="top-margin">16</property>
-                        <property name="bottom-margin">16</property>
+                        <property name="top-margin">12</property>
+                        <property name="bottom-margin">12</property>
                         <property name="left-margin">12</property>
-                        <property name="right-margin">16</property>
+                        <property name="right-margin">12</property>
                         <property name="monospace">true</property>
                         <property name="smart-backspace">true</property>
                       </object>
@@ -38,9 +38,10 @@
                 </child>
                 <child>
                   <object class="GtkSourceMap" id="map">
-                    <property name="top-margin">16</property>
-                    <property name="bottom-margin">16</property>
-                    <property name="left-margin">12</property>
+                    <property name="top-margin">6</property>
+                    <property name="bottom-margin">6</property>
+                    <property name="left-margin">6</property>
+                    <property name="right-margin">6</property>
                     <property name="hexpand">false</property>
                     <property name="visible">false</property>
                     <property name="view">view</property>