mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-18 13:05:50 +00:00
58457f8ae8
A resources folder is the defacto-standard across mediawiki repos. Vector now mirrors those by describing where files served by ResourceLoader are located. Change-Id: Ib7d8575112e8afaaa84221a6f30a15b34b51eb24
32 lines
372 B
Plaintext
32 lines
372 B
Plaintext
/* Vector screen styles for high definition displays */
|
|
|
|
@import '../../variables.less';
|
|
|
|
.mw-body,
|
|
#mw-head-base,
|
|
#left-navigation,
|
|
#mw-data-after-content,
|
|
#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;
|
|
}
|