diff options
Diffstat (limited to 'static/style.css')
-rw-r--r-- | static/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/static/style.css b/static/style.css index 988b8cad..d7030bf1 100644 --- a/static/style.css +++ b/static/style.css @@ -77,7 +77,8 @@ body { /* span highlighting */ .highlight-error { - text-decoration: red wavy underline; + text-decoration: red underline; + text-decoration-thickness: 5px; text-decoration-skip-ink: none;} .highlight-group { background-color: yellow; } .highlight-scope { background-color: lightyellow; } |