mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-19 03:21:02 +00:00
96c905f1dc
Make the manual-mode loading bar clickable by turing it all into an anchor element with various mixins for functionality. Also adds a tooltip to the whole bar, and makes the same accesskey work (including when the preview pane is closed). Bug: T306590 Bug: T306906 Bug: T306880 Change-Id: I915a430300c75256d89b929e3925d0ea714807bb
38 lines
702 B
Plaintext
38 lines
702 B
Plaintext
@import 'mediawiki.ui/variables';
|
|
|
|
.ext-WikiEditor-ManualWidget {
|
|
background-color: @colorGray14;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: space-between;
|
|
border-color: @colorGray12;
|
|
border-width: 1px 0;
|
|
border-style: solid;
|
|
padding: 14px 24px;
|
|
position: relative;
|
|
color: inherit;
|
|
|
|
&:hover {
|
|
text-decoration: none;
|
|
}
|
|
|
|
.oo-ui-iconElement-icon {
|
|
position: relative;
|
|
margin-right: 1em;
|
|
}
|
|
|
|
.ext-WikiEditor-realtimepreview-manual-reload {
|
|
margin-left: auto;
|
|
font-weight: bolder;
|
|
color: @color-primary;
|
|
}
|
|
|
|
&.oo-ui-widget-disabled .ext-WikiEditor-realtimepreview-manual-reload {
|
|
color: @colorDisabledText;
|
|
}
|
|
|
|
&.oo-ui-widget-disabled:active {
|
|
color: inherit;
|
|
}
|
|
}
|