mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-14 23:11:30 +00:00
975fddb114
.CodeMirror is supposed to magically replace it. Some gadgets' interface displays incorrectly without it. Change-Id: I27e2b5b462aa445a13f50dc99af57b4bb0ad3067
48 lines
918 B
Plaintext
48 lines
918 B
Plaintext
@import 'mediawiki.mixins';
|
|
|
|
.CodeMirror {
|
|
line-height: 1.5em;
|
|
padding: 0.1em;
|
|
}
|
|
|
|
.wikiEditor-ui .CodeMirror {
|
|
clear: both;
|
|
}
|
|
|
|
.mw-codeMirror-classicToolbar {
|
|
border: 1px solid #a2a9b1;
|
|
}
|
|
|
|
.CodeMirror pre,
|
|
.CodeMirror-lines {
|
|
padding: 0;
|
|
}
|
|
|
|
.mw-editbutton-codemirror-on {
|
|
// WikiEditor toolbar
|
|
&.tool-button {
|
|
.background-image-svg( 'images/cm-on.svg', 'images/cm-on.png' );
|
|
}
|
|
// Classic toolbar
|
|
&.mw-toolbar-editbutton {
|
|
.background-image-svg( 'images/old-cm-on.svg', 'images/old-cm-on.png' );
|
|
}
|
|
}
|
|
|
|
.mw-editbutton-codemirror-off {
|
|
// WikiEditor toolbar
|
|
&.tool-button {
|
|
.background-image-svg( 'images/cm-off.svg', 'images/cm-off.png' );
|
|
}
|
|
// Classic toolbar
|
|
&.mw-toolbar-editbutton {
|
|
.background-image-svg( 'images/old-cm-off.svg', 'images/old-cm-off.png' );
|
|
}
|
|
}
|
|
|
|
.wikiEditor-ui-toolbar,
|
|
.oo-ui-popupWidget.ve-init-mw-switchPopupWidget {
|
|
// Increase z-index to above scrollbar
|
|
z-index: 7;
|
|
}
|