[gnome-text-editor] css: tweak overview map font styling a bit more

[Christian Hergert <chergert src gnome org>]

commit 1a62d23e95c3bc044a4546de8a8c444324281bbb
Author: Christian Hergert <chergert redhat com>
Date:   Thu Oct 14 18:01:06 2021 -0700

    css: tweak overview map font styling a bit more

 src/TextEditor.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index 5eb91f3..aea4592 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -104,8 +104,8 @@ textview.source-map slider {
 
 textview.source-map {
   font-family: BuilderBlocks;
-  font-size: 2px;
-  line-height: 4px;
+  font-size: 1.75pt;
+  line-height: 5px;
 }
 textview.source-map:dir(ltr) {
   border-left: 1px solid @borders;