[gnome-builder/gnome-builder-41] sourcemap: tweak sizing of source map fonts

[Christian Hergert <chergert src gnome org>]

commit f9596cfe5ac37f7314f900f4c0d4cbb6d5a5d2bb
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 20 11:40:02 2021 -0700

    sourcemap: tweak sizing of source map fonts
    
    Make sure they are sized properly for the font to avoid aliasing.

 src/libide/themes/themes/shared/shared-editor.css | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/libide/themes/themes/shared/shared-editor.css 
b/src/libide/themes/themes/shared/shared-editor.css
index 20650c901..dfe90269f 100644
--- a/src/libide/themes/themes/shared/shared-editor.css
+++ b/src/libide/themes/themes/shared/shared-editor.css
@@ -147,3 +147,7 @@ vte-terminal {
   background-color: @content_view_bg;
   color: @theme_fg_color;
 }
+
+textview.source-map {
+  font-size: 2px;
+}