Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fine-tune underline styles used in CM editor

This commit is contained in:
Raymond Hill 2023-04-04 08:36:44 -04:00
parent ddb767c284
commit 9b5ed5ca86
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/css/codemirror.css
View File

@ -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);