[gnome-text-editor] css: tweak minimap font styling

[Christian Hergert <chergert src gnome org>]

commit 4aa2bf1487c03ffbaca35af7f44fb6be32bdd643
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 13 16:51:30 2021 -0700

    css: tweak minimap font styling
    
    This is good enough for now, and we can followup with more tweaks if
    necessary.
    
    Fixes #188

 src/TextEditor.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index e09961f..5eb91f3 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -98,14 +98,14 @@
 }
 
 textview.source-map slider {
-  border-radius: 9px;
-  margin: 0 8px;
+  border-radius: 7px;
+  margin: 0 3px;
 }
 
 textview.source-map {
   font-family: BuilderBlocks;
-  font-size: 4px;
-  line-height: 6px;
+  font-size: 2px;
+  line-height: 4px;
 }
 textview.source-map:dir(ltr) {
   border-left: 1px solid @borders;