mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 16:26:39 +00:00
3f692d9e15
* This patch convert .css to .less * Semantic changes are avoided, but there are minor tweaks such as capitalization and ordering. Change-Id: Iebff0f8e3d87bb792093a10d87f33540aca301d5
36 lines
519 B
Plaintext
36 lines
519 B
Plaintext
/**
|
|
* CSS for WikiEditor Preview jQuery plugin
|
|
*/
|
|
|
|
.wikiEditor-preview-loading {
|
|
padding: 1em;
|
|
background-color: white;
|
|
|
|
span {
|
|
color: #666666;
|
|
}
|
|
}
|
|
|
|
.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;
|
|
}
|
|
}
|