2017-03-21 14:42:04 +00:00
|
|
|
.ve-init-mw-desktopArticleTarget {
|
|
|
|
.CodeMirror {
|
|
|
|
height: auto;
|
|
|
|
z-index: -1;
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
left: 0;
|
|
|
|
width: 100%;
|
|
|
|
box-sizing: border-box;
|
2017-07-10 16:40:51 +00:00
|
|
|
pointer-events: none;
|
2018-01-04 12:37:42 +00:00
|
|
|
background: transparent;
|
2017-03-21 14:42:04 +00:00
|
|
|
|
2017-08-13 15:13:36 +00:00
|
|
|
// Core VE default padding
|
2018-09-27 20:03:17 +00:00
|
|
|
padding: 1.5em;
|
2017-08-13 15:13:36 +00:00
|
|
|
|
|
|
|
// Skin specific paddings
|
|
|
|
.skin-vector & {
|
2019-12-13 13:31:56 +00:00
|
|
|
padding: 0 1rem;
|
2018-01-19 10:10:40 +00:00
|
|
|
|
2017-08-13 15:13:36 +00:00
|
|
|
@media screen and ( min-width: 982px ) {
|
2020-05-11 22:42:03 +00:00
|
|
|
.skin-vector-legacy& {
|
|
|
|
padding: 0 1.5rem;
|
|
|
|
}
|
2017-08-13 15:13:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-19 00:09:06 +00:00
|
|
|
.skin-minerva &,
|
2017-08-13 15:13:36 +00:00
|
|
|
.skin-monobook & {
|
|
|
|
padding: 0;
|
|
|
|
}
|
2017-03-21 14:42:04 +00:00
|
|
|
}
|
|
|
|
|
2020-12-01 13:25:53 +00:00
|
|
|
.CodeMirror-lines,
|
|
|
|
.CodeMirror pre.CodeMirror-line,
|
|
|
|
.CodeMirror pre.CodeMirror-line-like {
|
2017-03-21 14:42:04 +00:00
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-scroll {
|
|
|
|
margin-right: 0;
|
|
|
|
overflow: auto !important; /* stylelint-disable-line declaration-no-important */
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-sizer {
|
|
|
|
border-right: 0;
|
|
|
|
}
|
|
|
|
|
2020-12-18 16:57:14 +00:00
|
|
|
.CodeMirror-selected {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2017-03-21 14:42:04 +00:00
|
|
|
.CodeMirror pre.cm-mw-section-1,
|
|
|
|
.CodeMirror pre.cm-mw-section-2 {
|
|
|
|
font-size: inherit;
|
|
|
|
line-height: inherit;
|
2018-03-07 19:56:51 +00:00
|
|
|
}
|
|
|
|
|
2018-04-16 15:38:45 +00:00
|
|
|
// Ensure surfaces are using identical font rules
|
2018-04-27 20:42:45 +00:00
|
|
|
.CodeMirror-code,
|
2018-04-16 15:38:45 +00:00
|
|
|
.CodeMirror-code *,
|
2018-03-27 21:35:00 +00:00
|
|
|
.ve-ui-mwWikitextSurface .ve-ce-paragraphNode {
|
2018-04-16 15:38:45 +00:00
|
|
|
// The following are already set by mw-editfont-monospace on the parent: font-size, font-family
|
|
|
|
line-height: 1.5em;
|
|
|
|
word-wrap: break-word;
|
2023-10-03 14:01:44 +00:00
|
|
|
// Support: Chrome<76, Firefox<69
|
|
|
|
// Fallback for browsers which don't support break-spaces
|
2018-04-16 15:38:45 +00:00
|
|
|
white-space: pre-wrap;
|
2023-10-03 14:01:44 +00:00
|
|
|
// T347902
|
|
|
|
white-space: break-spaces;
|
2018-03-27 21:35:00 +00:00
|
|
|
word-break: normal;
|
2018-04-16 15:38:45 +00:00
|
|
|
-webkit-hyphens: manual;
|
|
|
|
-moz-hyphens: manual;
|
|
|
|
-ms-hyphens: manual;
|
|
|
|
hyphens: manual;
|
2018-03-27 21:35:00 +00:00
|
|
|
-webkit-font-variant-ligatures: contextual;
|
|
|
|
font-variant-ligatures: contextual;
|
2018-04-16 15:38:45 +00:00
|
|
|
|
|
|
|
// Monospace fonts can change width when bold
|
|
|
|
// stylelint-disable-next-line declaration-no-important
|
|
|
|
font-weight: normal !important;
|
2021-12-12 09:04:50 +00:00
|
|
|
// T252965
|
|
|
|
line-break: initial;
|
2018-03-27 21:35:00 +00:00
|
|
|
}
|
2020-08-06 12:05:42 +00:00
|
|
|
|
|
|
|
.CodeMirror-gutters {
|
|
|
|
background-color: transparent;
|
|
|
|
border-right: 0;
|
|
|
|
}
|
|
|
|
.CodeMirror-linenumber {
|
2021-11-30 00:53:41 +00:00
|
|
|
color: #72777d; /* @wmui-color-base30 */
|
2021-04-08 11:22:10 +00:00
|
|
|
padding-left: 0;
|
2020-08-06 12:05:42 +00:00
|
|
|
}
|
|
|
|
.CodeMirror-linenumber-padding {
|
2021-09-02 11:54:06 +00:00
|
|
|
// Create a 12px padding between the line numbers and content.
|
|
|
|
width: 8px;
|
2020-08-06 12:05:42 +00:00
|
|
|
}
|
2017-03-21 14:42:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.ve-ce-documentNode-codeEditor-hide {
|
2017-11-30 16:35:57 +00:00
|
|
|
opacity: 0.4;
|
2020-12-28 23:38:16 +00:00
|
|
|
|
|
|
|
&::selection,
|
|
|
|
& *::selection {
|
|
|
|
background: #6da9f7 !important; /* stylelint-disable-line declaration-no-important */
|
|
|
|
}
|
2017-03-21 14:42:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.ve-ce-documentNode-codeEditor-webkit-hide {
|
|
|
|
-webkit-text-fill-color: transparent;
|
|
|
|
}
|