2017-11-28 17:03:50 +00:00
|
|
|
.CodeMirror-hints {
|
|
|
|
z-index: 999;
|
|
|
|
}
|
2017-09-24 08:54:21 +00:00
|
|
|
.CodeMirror-hint:hover {
|
|
|
|
color: white;
|
|
|
|
background: #08f;
|
|
|
|
}
|
|
|
|
.CodeMirror {
|
|
|
|
border: solid #CCC 1px;
|
|
|
|
}
|
|
|
|
.CodeMirror-lint-mark-warning {
|
|
|
|
background: none;
|
|
|
|
}
|
|
|
|
.CodeMirror-dialog {
|
|
|
|
-webkit-animation: highlight 3s ease-out;
|
|
|
|
}
|
|
|
|
.CodeMirror-focused {
|
|
|
|
outline: -webkit-focus-ring-color auto 5px;
|
|
|
|
outline-offset: -2px;
|
|
|
|
}
|
2017-11-15 08:49:02 +00:00
|
|
|
@-moz-document url-prefix("") {
|
|
|
|
/* restrict to FF */
|
|
|
|
.CodeMirror-focused {
|
|
|
|
outline: #7dadd9 auto 1px;
|
|
|
|
outline-offset: -1px;
|
|
|
|
}
|
|
|
|
}
|
2017-09-24 08:54:21 +00:00
|
|
|
.CodeMirror-search-field {
|
|
|
|
width: 10em;
|
|
|
|
}
|
|
|
|
.CodeMirror-jump-field {
|
|
|
|
width: 5em;
|
|
|
|
}
|
|
|
|
.CodeMirror-search-hint {
|
|
|
|
color: #888;
|
|
|
|
}
|
2017-11-23 13:28:55 +00:00
|
|
|
.cm-uso-variable {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2017-12-01 15:01:19 +00:00
|
|
|
.cm-searching.cm-matchhighlight {
|
|
|
|
/* tokens found by manual search should not animate by cm-matchhighlight */
|
|
|
|
animation-name: search-and-match-highlighter !important;
|
|
|
|
}
|
|
|
|
@keyframes search-and-match-highlighter {
|
|
|
|
from { background-color: rgba(255, 255, 0, .4); } /* search color */
|
|
|
|
to { background-color: rgba(100, 255, 100, .4); } /* sarch + highlight */
|
|
|
|
}
|