mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-25 16:58:35 +00:00
4d479d0bc5
It's better to handle it in CodeEditor: Ia7d6958a10481c39abb1406b67210cac998818e7 Change-Id: Ieb695bc8c85c07fd01f02bccbc94c6ab6b8bb579
63 lines
892 B
CSS
63 lines
892 B
CSS
.mw-scribunto-console-fieldset {
|
|
background: white;
|
|
color: black;
|
|
}
|
|
|
|
/* Preserve line breaks, but wrap too if browser supports it */
|
|
#mw-scribunto-output {
|
|
white-space: pre;
|
|
white-space: -moz-pre-wrap;
|
|
}
|
|
|
|
#mw-scribunto-input {
|
|
width: 100%;
|
|
border: none;
|
|
padding: 0;
|
|
overflow: auto;
|
|
background: #e0e0e0;
|
|
}
|
|
|
|
.mw-scribunto-input {
|
|
color: blue;
|
|
font: inherit;
|
|
font-weight: bold;
|
|
margin-top: .5em;
|
|
}
|
|
|
|
.mw-scribunto-normalOutput {
|
|
color: black;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-print {
|
|
color: #630;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-error {
|
|
color: red;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-propList {
|
|
color: green;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-message {
|
|
color: green;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-tabcomplete {
|
|
color: purple;
|
|
background: white;
|
|
}
|
|
|
|
.mw-scribunto-clear {
|
|
color: red;
|
|
text-align: center;
|
|
margin-top: 1em;
|
|
border-bottom: 1px solid red;
|
|
}
|