[gnome-text-editor] css: tweak opacity of overlay

[Christian Hergert <chergert src gnome org>]

commit 26d200ca9fa2c5744cebaca7bd8d9a4d2b938dc0
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jan 23 15:39:12 2022 -0800

    css: tweak opacity of overlay
    
    We want this slightly darker, for whatever reason how it turns out when
    compositing the thing at the end it gets washed out.

 src/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/style.css b/src/style.css
index 23837bb..fb97521 100644
--- a/src/style.css
+++ b/src/style.css
@@ -115,7 +115,7 @@ textview.source-map {
   font-family: BuilderBlocks;
   font-size: 1.75pt;
   line-height: 5px;
-  opacity: 0.6;
+  opacity: 0.75;
 }
 textview.source-map:dir(ltr) {
   border-left: 1px solid @borders;