[gnome-text-editor] css: lighten source-map a bit

[Christian Hergert <chergert src gnome org>]

commit 7271cc7cb260910a562c484f67b0a109b59c823c
Author: Christian Hergert <chergert redhat com>
Date:   Tue Dec 21 23:38:12 2021 -0800

    css: lighten source-map a bit
    
    We can't really change foreground colors because they are cached and come
    from the GtkSourceBuffer's style scheme. So the only real tweak we can do
    to make it drop a bit from focus is to soften it with opacity.
    
    Unfortunately, that affects the slider too since we can't just do this to
    the "textview text" selector.

 src/TextEditor.css | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index 4ae2d9b..e5591fb 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -129,6 +129,7 @@ textview.source-map {
   font-family: BuilderBlocks;
   font-size: 1.75pt;
   line-height: 5px;
+  opacity: 0.6;
 }
 textview.source-map:dir(ltr) {
   border-left: 1px solid @borders;