mediawiki-extensions-WikiEd.../modules/realtimepreview/ManualWidget.less

40 lines
893 B
Plaintext
Raw Normal View History

@import 'mediawiki.skin.variables.less';
.ext-WikiEditor-ManualWidget {
// TODO: The only background-color token carrying `#eaecf0` right now is
// `@background-color-interactive`, which shouldn't be used here.
background-color: #eaecf0;
display: flex;
align-items: center;
justify-content: space-between;
border-color: @border-color-subtle;
border-width: @border-width-base 0;
border-style: @border-style-base;
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: @font-weight-bold;
color: @color-progressive;
}
&.oo-ui-widget-disabled .ext-WikiEditor-realtimepreview-manual-reload {
color: @color-disabled;
}
&.oo-ui-widget-disabled:active {
color: inherit;
}
}