mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-30 06:23:07 +00:00
ae450a5c3c
* add on/off button to toolbar * add highlighting table, hr ----, sign ~~~ * update codemirror lib to 4.7 * fix font size Change-Id: Idd5775d6c80a18406aee7b8ab51691f26038764c
33 lines
502 B
CSS
33 lines
502 B
CSS
.CodeMirror-dialog {
|
|
position: absolute;
|
|
left: 0; right: 0;
|
|
background: white;
|
|
z-index: 15;
|
|
padding: .1em .8em;
|
|
overflow: hidden;
|
|
color: #333;
|
|
}
|
|
|
|
.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%;
|
|
}
|