[gnome-text-editor] css: tweak line-height for source map

[Christian Hergert <chergert src gnome org>]

commit 9da1d4830dcbf5a37264f4fe0c64487e35a3d252
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 12:37:32 2021 -0700

    css: tweak line-height for source map

 src/TextEditor.css | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index b02d62f..3e62ee9 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -103,6 +103,11 @@
   padding: 3px;
 }
 
+textview.source-map {
+  font-family: BuilderBlocks;
+  font-size: 4px;
+  line-height: 6px;
+}
 textview.source-map:dir(ltr) {
   border-left: 1px solid @borders;
 }