From 9b5ed5ca860098c6a91d877ef5f1ad54bc0e7b79 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Tue, 4 Apr 2023 08:36:44 -0400
Subject: [PATCH] Fine-tune underline styles used in CM editor

---
 src/css/codemirror.css | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index 12dbeb956..b1b6d70f8 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -108,13 +108,11 @@
     color: var(--cm-positive);
     }
 .cm-theme-override .cm-s-default .cm-notice {
-    text-underline-position: under;
     text-decoration-color: var(--sf-notice-ink);
     text-decoration-style: solid;
     text-decoration-line: underline;
     }
 .cm-theme-override .cm-s-default .cm-unicode {
-    text-underline-position: under;
     text-decoration-color: var(--sf-unicode-ink);
     text-decoration-style: dashed;
     text-decoration-line: underline;
@@ -131,7 +129,6 @@
 .cm-theme-override .cm-s-default .cm-warning {
     background-color: var(--sf-warning-surface);
     text-decoration: underline var(--sf-warning-ink);
-    text-underline-position: under;
     }
 .cm-theme-override .cm-s-default .cm-readonly {
     color: var(--sf-readonly-ink);