mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-17 19:31:51 +00:00
085764ddd6
Since I7f6fd7ee9 it is now possible for the options bar to be completely empty if the user is logged out. In this case hide it and only show it again when the character limit needs to be show. Ideally we wouldn't have the height change, but it is quite rare that a user gets to 400 chars and is logged out. Bug: T228165 Change-Id: Ifbdf352afcbf4e549889e04fdb70fd30ce233aad
30 lines
719 B
CSS
30 lines
719 B
CSS
/*!
|
|
* VisualEditor MediaWiki theme customizations.
|
|
*
|
|
* @copyright 2011-2019 VisualEditor Team and others; see http://ve.mit-license.org
|
|
*/
|
|
|
|
/* ve.ui.MWSaveDialog summary */
|
|
|
|
.ve-ui-mwSaveDialog-withOptions .ve-ui-mwSaveDialog-summary .oo-ui-inputWidget-input {
|
|
border-bottom-right-radius: 0;
|
|
border-bottom-left-radius: 0;
|
|
}
|
|
|
|
.ve-ui-mwSaveDialog-options {
|
|
border-bottom-right-radius: 2px;
|
|
border-bottom-left-radius: 2px;
|
|
}
|
|
|
|
.ve-ui-mwTransclusionDialog-addParameterFieldset .ve-ui-mwParameterSearchWidget {
|
|
border-radius: 2px;
|
|
border: 1px solid #a2a9b1;
|
|
}
|
|
|
|
/* Ace editor widget */
|
|
|
|
/* stylelint-disable-next-line selector-class-pattern */
|
|
.ve-ui-mwAceEditorWidget-readOnly .ace_editor {
|
|
background: #f3f3f3;
|
|
}
|