mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-19 09:10:39 +00:00
9 lines
188 B
CSS
9 lines
188 B
CSS
|
.CodeMirror-search-match {
|
||
|
|
background: gold;
|
||
|
|
border-top: 1px solid orange;
|
||
|
|
border-bottom: 1px solid orange;
|
||
|
|
-moz-box-sizing: border-box;
|
||
|
|
box-sizing: border-box;
|
||
|
|
opacity: .5;
|
||
|
|
}
|