mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-11 00:01:48 +00:00
20 lines
397 B
Plaintext
20 lines
397 B
Plaintext
|
@import 'mediawiki.ui/variables.less';
|
||
|
|
||
|
/* stylelint-disable selector-max-id */
|
||
|
#wpTextbox1,
|
||
|
.mw-editform #wpTextbox1 {
|
||
|
// stylelint-disable-next-line plugin/no-unsupported-browser-features
|
||
|
resize: none;
|
||
|
height: 100%;
|
||
|
min-height: auto;
|
||
|
max-height: none;
|
||
|
}
|
||
|
|
||
|
.wikiEditor-ui .wikiEditor-ui-view {
|
||
|
border-bottom: 0;
|
||
|
}
|
||
|
|
||
|
.ext-WikiEditor-ResizingDragBar-ns {
|
||
|
border-top: 1px solid @colorGray12;
|
||
|
}
|