编辑器字体
This commit is contained in:
parent
e612e96e59
commit
9527186c96
|
@ -218,14 +218,14 @@
|
||||||
|
|
||||||
background: white;
|
background: white;
|
||||||
font-size: 90%;
|
font-size: 90%;
|
||||||
font-family: monospace;
|
font-family: Consolas, Courier New, monospace;
|
||||||
|
|
||||||
max-height: 20em;
|
max-height: 20em;
|
||||||
overflow-y: auto;
|
overflow-y: auto;
|
||||||
}
|
}
|
||||||
|
|
||||||
.CodeMirror {
|
.CodeMirror {
|
||||||
font-family: monospace;
|
font-family: Consolas, Courier New, monospace;
|
||||||
}
|
}
|
||||||
|
|
||||||
.CodeMirror-focused .cm-matchhighlight {
|
.CodeMirror-focused .cm-matchhighlight {
|
||||||
|
|
Loading…
Reference in New Issue