From a87d62c9c22a91fa53edc94c0aaf4528121c81eb Mon Sep 17 00:00:00 2001
From: "G.Ambatte" <sean@robertson-family.nz>
Date: Fri, 7 Jun 2024 09:30:09 +1200
Subject: [PATCH] Tweak page line brightness

As per Reddit report (https://redd.it/1d8opte), on dark CodeMirror themes, it can be difficult to read the folded text between the bright backgrounds of `\page` lines.
This PR tweaks the brightness down slightly by reducing opacity of the background from 75% to 50%.
---
 themes/codeMirror/customEditorStyles.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/themes/codeMirror/customEditorStyles.less b/themes/codeMirror/customEditorStyles.less
index 3318e1305..367eaec33 100644
--- a/themes/codeMirror/customEditorStyles.less
+++ b/themes/codeMirror/customEditorStyles.less
@@ -58,7 +58,7 @@
                 background-color: rgba(35,153,153,0.5);
             }
             .pageLine {
-                background-color: rgba(255,255,255,0.75);
+                background-color: rgba(255,255,255,0.5);
                 & ~ pre.CodeMirror-line {
                     color: black;
                 }
@@ -85,4 +85,4 @@
         // Future styling for themes with light backgrounds
         --dummyVar: 'currently unused';
     }
-}
\ No newline at end of file
+}