mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 11:58:44 +00:00
7f308fa6b2
Concatenating all `margin-left` rules. This has 0 byte-saving impact after gzipping at all, it's just about code style. Also applying coding convention on media query in 'skin.json'. Change-Id: Ica8557fcd519dea913fe4c30b1be1bfe0d0919c0
31 lines
342 B
Plaintext
31 lines
342 B
Plaintext
/* Vector screen styles for high definition displays */
|
|
|
|
@import 'variables.less';
|
|
|
|
.mw-body,
|
|
#mw-head-base,
|
|
#left-navigation,
|
|
#footer {
|
|
margin-left: 11em;
|
|
}
|
|
|
|
.mw-body {
|
|
padding: 1.25em 1.5em 1.5em 1.5em;
|
|
}
|
|
|
|
#footer {
|
|
padding: 1.25em;
|
|
}
|
|
|
|
#mw-panel {
|
|
padding-left: 0.5em;
|
|
}
|
|
|
|
#p-search {
|
|
margin-right: 1em;
|
|
}
|
|
|
|
#p-personal {
|
|
right: 1em;
|
|
}
|