From dd8031a508890e83660dd8835afed7576a05ff06 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sat, 1 Apr 2023 18:11:41 -0400
Subject: [PATCH] Fine tune CSS style for errors

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

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index c3fecb067..9733fe4ec 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -84,8 +84,7 @@
 .cm-theme-override .cm-s-default .cm-error,
 .CodeMirror-linebackground.error {
     background-color: var(--sf-error-surface);
-    text-decoration: underline var(--sf-error-ink);
-    text-underline-position: under;
+    text-decoration: var(--sf-error-ink) dashed underline;
     }
 .cm-theme-override .cm-s-default .cm-link {
     text-decoration: none;