isekai-mediawiki-skins-Timeless/resources/forms.less

@import 'variables.less';

input {
	font-family: @fonts;
}

// Because weird special cases that get broken by this usually aren't forms?
form input {
	margin: 0.5em 0;
	padding: 0.34em;
}

.mw-input-with-label {
	display: block; // wat (this is probably an awful idea but aaaaaah whatever)
}

// Fix for half-arsed date input conversion on special:contributions and anywhere else
// that's not actually ooui: add just enough margin to keep multiple widgets from fondling
// each other
.mw-widget-dateInputWidget {
	margin: 0 0 0.2em 0;
}

// More fondling, because we've removed the default margins in normalise
input[ type='radio' ],
input[ type='checkbox' ] {
	margin: 0.35em 0.2em 0.25em 0.35em;
	box-sizing: border-box;
}

textarea,
#searchInput {
	box-sizing: border-box;
	box-shadow: inset 0 1px 1px 1px rgba( 0, 0, 0, 0.05 );
}

textarea {
	width: 100%;
	resize: vertical;
	box-sizing: border-box;
	line-height: 1.3em;
	border: solid 1px @base70;
}

div.editOptions {
	padding: 1.25em 1.75em;
	border: solid @base70;
	border-width: 0 1px @border;
	background: @base80;

	// For Extension:TemplateSandbox and the like
	fieldset {
		margin-top: 1em;
	}
}

// Essentially revert T182320 (core change)
// Custom font stacks below should fully address this issue regardless
.mw-editfont-monospace,
.mw-editfont-sans-serif,
.mw-editfont-serif {
	font-size: inherit;
}

.mw-editfont-monospace {
	font-family: @fonts-mono;
}

.mw-editfont-sans-serif {
	font-family: @fonts-sans;
}

.mw-editfont-serif {
	font-family: @fonts-serif;
}

/* Extension:TemplateSandbox stuff */
.mw-templatesandbox-page label {
	padding: 0;
}

#wpTemplateSandboxPreview {
	margin-left: 0.5em;
}

/* fixes for non-JavaScript filtering on Special:Watchlist
 * @see https://phabricator.wikimedia.org/T225412
 */
.mw-special-Watchlist .mw-input-with-label {
	display: inline-block;
}