[gnome-builder/gnome-builder-41] map: tweak font sizing

[Christian Hergert <chergert src gnome org>]

commit a5322a97b98513f3a99db479bf120414f7f2d0f1
Author: Christian Hergert <chergert redhat com>
Date:   Thu Nov 18 12:02:37 2021 -0800

    map: tweak font sizing
    
    This is closer to what we do in GtkSourceView 5.x by default.
    
    Related #1570

 src/libide/themes/themes/shared/shared-editor.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/themes/themes/shared/shared-editor.css 
b/src/libide/themes/themes/shared/shared-editor.css
index dfe90269f..c847028e7 100644
--- a/src/libide/themes/themes/shared/shared-editor.css
+++ b/src/libide/themes/themes/shared/shared-editor.css
@@ -149,5 +149,7 @@ vte-terminal {
 }
 
 textview.source-map {
-  font-size: 2px;
+  font-size: 1.75pt;
+  /* we can't do the following in GTK 3, but supported in 4.4 */
+  /* line-height: 4px; */
 }