mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 08:14:33 +00:00
38 lines
618 B
Plaintext
38 lines
618 B
Plaintext
/**
|
|
* CSS for WikiEditor Preview jQuery plugin
|
|
*/
|
|
|
|
.wikiEditor-preview-loading {
|
|
padding: 1em;
|
|
background-color: #fff;
|
|
|
|
span {
|
|
color: #666;
|
|
}
|
|
}
|
|
|
|
.wikiEditor-preview-spinner {
|
|
padding-right: 1em;
|
|
}
|
|
|
|
.wikiEditor-preview-contents {
|
|
padding: 1em;
|
|
background-color: #fff;
|
|
}
|
|
|
|
/* FIXME: This only works for the first wikiEditor on the page! */
|
|
/* stylelint-disable-next-line selector-no-id */
|
|
#wikiEditor-0-preview-dialog {
|
|
.wikiEditor-ui-loading {
|
|
overflow: hidden;
|
|
border: 0;
|
|
}
|
|
}
|
|
|
|
.ui-dialog {
|
|
.ui-dialog-buttonpane {
|
|
// stylelint-disable-next-line declaration-no-important
|
|
margin: 0 !important;
|
|
}
|
|
}
|