mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-03 12:26:08 +00:00
1716fd6704
In Chromium-based browsers the lack of padding means the cursor
isn't visible in the textarea when focused. In this case, it's
probably more important for the cursor to be visible than the
lack of padding to make it look more like a terminal.
Bug: T272678
Change-Id: I09ed2933bdac292ee9b9b98a2c8c48d96914d096
(cherry picked from commit 835631de27)
64 lines
971 B
CSS
64 lines
971 B
CSS
.mw-scribunto-console-fieldset {
|
|
background: #fff;
|
|
color: #000;
|
|
}
|
|
|
|
/* Preserve line breaks, but wrap too if browser supports it */
|
|
/* stylelint-disable-next-line selector-max-id */
|
|
#mw-scribunto-output {
|
|
white-space: pre;
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
/* stylelint-disable-next-line selector-max-id */
|
|
#mw-scribunto-input {
|
|
width: 100%;
|
|
border: 0;
|
|
overflow: auto;
|
|
background: #e0e0e0;
|
|
}
|
|
|
|
.mw-scribunto-input {
|
|
color: #00f;
|
|
font: inherit;
|
|
font-weight: bold;
|
|
margin-top: 0.5em;
|
|
}
|
|
|
|
.mw-scribunto-normalOutput {
|
|
color: #000;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-print {
|
|
color: #630;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-error {
|
|
color: #f00;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-propList {
|
|
color: #008000;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-message {
|
|
color: #008000;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-tabcomplete {
|
|
color: #800080;
|
|
background: #fff;
|
|
}
|
|
|
|
.mw-scribunto-clear {
|
|
color: #f00;
|
|
text-align: center;
|
|
margin-top: 1em;
|
|
border-bottom: 1px solid #f00;
|
|
}
|