mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
465d411536
* Use #rgb instead of #rrggbb where possible. * Use lower case letters. Change-Id: I390bf23d44bc2d78eb1d2185fd89b94297d1f05f
36 lines
516 B
Plaintext
36 lines
516 B
Plaintext
/**
|
|
* CSS for WikiEditor Preview jQuery plugin
|
|
*/
|
|
|
|
.wikiEditor-preview-loading {
|
|
padding: 1em;
|
|
background-color: white;
|
|
|
|
span {
|
|
color: #666;
|
|
}
|
|
}
|
|
|
|
.wikiEditor-preview-spinner {
|
|
padding-right: 1em;
|
|
}
|
|
|
|
.wikiEditor-preview-contents {
|
|
padding: 1em;
|
|
background-color: white;
|
|
}
|
|
|
|
/* FIXME: This only works for the first wikiEditor on the page! */
|
|
#wikiEditor-0-preview-dialog {
|
|
.wikiEditor-ui-loading {
|
|
overflow: hidden;
|
|
border: none;
|
|
}
|
|
}
|
|
|
|
.ui-dialog {
|
|
.ui-dialog-buttonpane {
|
|
margin: 0 !important;
|
|
}
|
|
}
|