mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-13 14:48:16 +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
21 lines
435 B
CSS
21 lines
435 B
CSS
.CodeMirror-foldmarker {
|
|
color: blue;
|
|
text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
|
|
font-family: arial;
|
|
line-height: .3;
|
|
cursor: pointer;
|
|
}
|
|
.CodeMirror-foldgutter {
|
|
width: .7em;
|
|
}
|
|
.CodeMirror-foldgutter-open,
|
|
.CodeMirror-foldgutter-folded {
|
|
cursor: pointer;
|
|
}
|
|
.CodeMirror-foldgutter-open:after {
|
|
content: "\25BE";
|
|
}
|
|
.CodeMirror-foldgutter-folded:after {
|
|
content: "\25B8";
|
|
}
|