mediawiki-skins-Vector/screen-hd.less

/* Vector screen styles for high definition displays */

@import 'variables.less';

.mw-body {
	margin-left: 11em;
	padding: 1.25em 1.5em 1.5em 1.5em;
}
div#footer {
	margin-left: 11em;
	padding: 1.25em;
}
#mw-panel {
	padding-left: 0.5em;
}
#p-search {
	margin-right: 1em;
}
#left-navigation {
	margin-left: 11em;
}
#p-personal {
	right: 1em;
}
#mw-head-base {
	margin-left: 11em;
}
Move Vector skin from core This is the final step of the process described at <https://www.mediawiki.org/wiki/Separating_skins_from_core_MediaWiki>. Corresponding core change: Idfc38503. Change-Id: I84fcf7ce6385b8323544cafe6912a00f1886d20d 2014-08-07 11:38:34 +00:00			`/* Vector screen styles for high definition displays */`

build: Introduce stylelint and make pass Change-Id: I48d542580d767df2d17ce4c6668e9e233a0f7904 2016-11-29 16:39:15 +00:00			`@import 'variables.less';`
Move Vector skin from core This is the final step of the process described at <https://www.mediawiki.org/wiki/Separating_skins_from_core_MediaWiki>. Corresponding core change: Idfc38503. Change-Id: I84fcf7ce6385b8323544cafe6912a00f1886d20d 2014-08-07 11:38:34 +00:00
Use .mw-body instead of div#content * Part of https://gerrit.wikimedia.org/r/#/c/151395/ Change-Id: Iae873906abcd8b2a986e5f728f0ce207256de770 2014-08-13 10:51:40 +00:00			`.mw-body {`
Move Vector skin from core This is the final step of the process described at <https://www.mediawiki.org/wiki/Separating_skins_from_core_MediaWiki>. Corresponding core change: Idfc38503. Change-Id: I84fcf7ce6385b8323544cafe6912a00f1886d20d 2014-08-07 11:38:34 +00:00			`margin-left: 11em;`
			`padding: 1.25em 1.5em 1.5em 1.5em;`
			`}`
			`div#footer {`
			`margin-left: 11em;`
			`padding: 1.25em;`
			`}`
			`#mw-panel {`
			`padding-left: 0.5em;`
			`}`
			`#p-search {`
			`margin-right: 1em;`
			`}`
			`#left-navigation {`
			`margin-left: 11em;`
			`}`
			`#p-personal {`
			`right: 1em;`
			`}`
			`#mw-head-base {`
			`margin-left: 11em;`
			`}`