[gnome-builder] sourcemap: tweak styling a bit more

[Christian Hergert <chergert src gnome org>]

commit 725c6e1356e2d6a9ac4cf7e92711e9ad42bf5cdb
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 20 11:38:23 2021 -0700

    sourcemap: tweak styling a bit more
    
    This really will look a lot better once we move to GTK 4 and can style the
    line height with CSS. But until then, small tweaks.

 src/libide/themes/themes/shared/shared-editor.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/themes/themes/shared/shared-editor.css 
b/src/libide/themes/themes/shared/shared-editor.css
index a776ee214..6b0a0dc39 100644
--- a/src/libide/themes/themes/shared/shared-editor.css
+++ b/src/libide/themes/themes/shared/shared-editor.css
@@ -148,6 +148,9 @@ vte-terminal {
   color: @theme_fg_color;
 }
 
+textview.source-map {
+  font-size: 2px;
+}
 textview.source-map .scrubber {
-  border-radius: 9px;
+  border-radius: 5px;
 }