FF: outline the active code box

-webkit-focus-ring-color rgb value is used, but not the blurred effect (TODO)
This commit is contained in:
tophf 2017-11-15 11:49:02 +03:00
parent 9f4066faa1
commit 559420a461

View File

@ -15,6 +15,13 @@
outline: -webkit-focus-ring-color auto 5px;
outline-offset: -2px;
}
@-moz-document url-prefix("") {
/* restrict to FF */
.CodeMirror-focused {
outline: #7dadd9 auto 1px;
outline-offset: -1px;
}
}
.CodeMirror-search-field {
width: 10em;
}