This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
|
.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;
|
|
}
|