mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 02:04:02 +00:00
758523b65f
Also remove two unneeded dependencies Bug: T209824 Change-Id: I5b528bde346780ca5ae5d615c4ca0d617a6cd615
18 lines
252 B
Plaintext
18 lines
252 B
Plaintext
@import 'mediawiki.mixins';
|
|
|
|
.wikiEditor-ui .CodeMirror {
|
|
line-height: 1.5em;
|
|
padding: 0.1em;
|
|
clear: both;
|
|
|
|
pre,
|
|
.CodeMirror-lines {
|
|
padding: 0;
|
|
}
|
|
}
|
|
|
|
.wikiEditor-ui-toolbar {
|
|
// Increase z-index to be above codemirror scrollbar
|
|
z-index: 7;
|
|
}
|