[gtksourceview] styleschemepreview: tweak margins

[Christian Hergert <chergert src gnome org>]

commit 8f0fda7c2681dc13b28478b15cd70e5b5ffa7cc2
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 11:06:18 2021 -0700

    styleschemepreview: tweak margins

 gtksourceview/gtksourcestyleschemepreview.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtksourceview/gtksourcestyleschemepreview.c b/gtksourceview/gtksourcestyleschemepreview.c
index 41849246..54aec7e1 100644
--- a/gtksourceview/gtksourcestyleschemepreview.c
+++ b/gtksourceview/gtksourcestyleschemepreview.c
@@ -187,11 +187,11 @@ gtk_source_style_scheme_preview_constructed (GObject *object)
                             "editable", FALSE,
                             "right-margin-position", 20,
                             "show-right-margin", TRUE,
-                            "top-margin", 12,
-                            "bottom-margin", 12,
+                            "top-margin", 9,
+                            "bottom-margin", 9,
                             "left-margin", 0,
-                            "right-margin", 6,
                             "width-request", 120,
+                            "right-margin", 9,
                             "show-line-numbers", TRUE,
                             NULL);
        overlay = g_object_new (GTK_TYPE_OVERLAY, NULL);