@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;
	}
}