body.wikieedit.waiting * {
/* Triggered during AJAX requests. */
cursor: wait;
}
body.wikiedit textarea,
body.wikiedit textarea:focus,
body.wikiedit input,
body.wikiedit input:focus,
body.wikiedit select,
body.wikiedit select:focus{
/* Depending on the skin, it might be useful to add one or both of
the following... */
/*border-width: 1px;*/
/*border: initial; */
}
body.wikiedit div.wikiedit-preview {
margin: 0;
padding: 0;
}
body.wikiedit #wikiedit-tabs {
margin: 0.5em 0 0 0;
}
body.wikiedit #wikiedit-tab-preview-wrapper {
overflow: auto;
}
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options {
margin-top: 0;
border: none;
border-radius: 0;
border-bottom-width: 1px;
border-bottom-style: dotted;
}
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > button {
vertical-align: middle;
margin: 0.5em;
}
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > input {
vertical-align: middle;
margin: 0.5em;
}
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > .input-with-label {
vertical-align: middle;
margin: 0 0.5em 0.25em 0.5em;
}
body.wikiedit label {
display: inline; /* some skins set label display to block! */
}
body.wikiedit .wikiedit-options > div > * {
margin: 0.25em;
}
body.wikiedit .wikiedit-options.flex-container.flex-row {
align-items: first baseline;
}
body.wikiedit .WikiList {
display: flex;
flex-direction: column;
align-items: start;
}
body.wikiedit .WikiList select {
font-size: 110%;
margin: initial;
height: initial /* some skins set these to a fixed height */;
font-family: monospace;
border: initial;
}
body.wikiedit select:focus {
border: initial;
}
body.wikiedit .WikiList select option {
margin: 0 0 0.5em 0.55em;
}
body.wikiedit select option,
body.wikiedit select option:focus {
border: none;
}
body.wikiedit .WikiList select option.stashed,
body.wikiedit .WikiList select option.stashed-new,
body.wikiedit .WikiList select option.deleted {
margin-left: -0.4em;
}
body.wikiedit .WikiList.hide-deleted select option.deleted {
display: none;
}
body.wikiedit textarea {
max-width: initial;
}
body.wikiedit .tabs .tab-panel {
/* Needed for wide diffs */
overflow: auto;
}
body.wikiedit .WikiList fieldset {
padding: 0.25em;
border-width: 1px /* Ardoise skin sets this to 0 */;
min-width: 6em;
border-style: inset;
}
body.wikiedit .WikiList label {
margin: 0 0.5em;
vertical-align: text-bottom;
}
body.wikiedit .WikiList legend {
margin: 0 0 0 0.5em;
}
body.wikiedit .WikiList > fieldset {
margin: 0;
width: calc(100% - 1em);
}
body.wikiedit .WikiList fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
margin: 0;
width: 100%;
}
body.wikiedit .WikiList .fieldset-wrapper {
/* Container for the filter and edit status fieldsets */
display: flex;
flex-direction: row;
flex-wrap: wrap;
align-items: stretch;
justify-content: stretch;
margin: 0;
}
body.wikiedit .WikiList button.save {
margin: 1em 0 0 0;
}
body.wikiedit .WikiList .new-page {
align-items: flex-start;
max-width: 15em;
}
body.wikiedit .WikiList .new-page input {
}
body.wikiedit #wikiedit-tab-misc h3 {
margin: 0;
}
body.wikiedit span.mini-tip {
font-size: 80%;
}
body.wikiedit span.save-button-slot {
/* These invisible placeholders mark spots in the UI
(max. 1 per tab) to where the save button gets
relocated as we switch between tabs. */
display: none;
}
body.wikiedit #wikiedit-edit-status {
border-radius: 0.25em 0.25em 0 0;
margin: 0;
padding: 0;
width: 100%;
cursor: initial;
display: flex;
flex-direction: row;
flex-wrap: wrap;
justify-content: space-between;
font-family: monospace;
}
body.wikiedit #wikiedit-edit-status > span.name {
display: block;
word-break: break-word /* needed for long names, e.g. checkin/... */;
}
body.wikiedit #wikiedit-edit-status > span.links {
display: flex;
flex-wrap: wrap;
flex-direction: row;
}
body.wikiedit .WikiList span.is-new,
body.wikiedit .WikiList span.is-modified,
body.wikiedit .WikiList span.is-deleted {
font-family: monospace;
}
body.wikiedit #wikiedit-edit-status span.links > a {
margin: 0 0.25em;
white-space: nowrap;
}
body.wikiedit #wikiedit-edit-status span.links > a::before {
content: "[";
}
body.wikiedit #wikiedit-edit-status span.links > a::after {
content: "]";
}
body.wikiedit #wikiedit-stash-selector {
margin: 0.25em;
display: flex;
flex-direction: row;
flex-wrap: wrap;
align-items: baseline;
}
body.wikiedit #wikiedit-stash-selector select {
margin: 0 1em 0 0.5em;
height: initial;
font-family: monospace;
flex: 10 1 auto;
}
body.wikiedit fieldset.page-types-list > div > span {
display: flex;
flex-direction: row;
flex-wrap: nowrap;
align-items: center;
}