d25531977e
* keep our custom css-lint.js, no changes in upstream
* use newer show-hint.js - {completeSingle: true} was broken in 5.2.0
* use newer search.js - replace() didn't use previous search query in 5.2.0
33 lines
507 B
CSS
33 lines
507 B
CSS
.CodeMirror-dialog {
|
|
position: absolute;
|
|
left: 0; right: 0;
|
|
background: inherit;
|
|
z-index: 15;
|
|
padding: .1em .8em;
|
|
overflow: hidden;
|
|
color: inherit;
|
|
}
|
|
|
|
.CodeMirror-dialog-top {
|
|
border-bottom: 1px solid #eee;
|
|
top: 0;
|
|
}
|
|
|
|
.CodeMirror-dialog-bottom {
|
|
border-top: 1px solid #eee;
|
|
bottom: 0;
|
|
}
|
|
|
|
.CodeMirror-dialog input {
|
|
border: none;
|
|
outline: none;
|
|
background: transparent;
|
|
width: 20em;
|
|
color: inherit;
|
|
font-family: monospace;
|
|
}
|
|
|
|
.CodeMirror-dialog button {
|
|
font-size: 70%;
|
|
}
|