mirror of
https://github.com/gorhill/uBlock.git
synced 2024-11-07 11:22:38 +01:00
Increase search style priority in CodeMirror editors
This commit is contained in:
parent
470a3bd55f
commit
516696a60c
@ -157,6 +157,7 @@ div.CodeMirror span.CodeMirror-matchingbracket {
|
||||
display: none;
|
||||
}
|
||||
.cm-searching {
|
||||
background-color: var(--cm-searching-surface) !important;
|
||||
border: 1px dotted black;
|
||||
}
|
||||
|
||||
|
@ -49,6 +49,7 @@
|
||||
--violet-60: #7542e5;
|
||||
--violet-70: #592acb;
|
||||
--violet-80: #45278d;
|
||||
--yellow-10: #ffff98;
|
||||
--yellow-30: #ffd567;
|
||||
--yellow-40: #ffbd4f;
|
||||
--yellow-50: #ffa436;
|
||||
@ -179,6 +180,7 @@
|
||||
--cm-gutter-border: var(--light-gray-40);
|
||||
--cm-gutter-ink: var(--light-gray-90);
|
||||
--cm-gutter-surface: var(--light-gray-25);
|
||||
--cm-searching-surface: var(--yellow-10);
|
||||
|
||||
/* syntax highlight: static filtering */
|
||||
--sf-comment-ink: var(--light-gray-90);
|
||||
|
Loading…
Reference in New Issue
Block a user