mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-17 20:52:14 +00:00
88dcdab6db
Per the comment, it's been a week. These selectors should be removed. Change-Id: Ifebb7939596827fc8ade7213f3acf6bf80eebb40
19 lines
249 B
Plaintext
19 lines
249 B
Plaintext
@import '../../../variables.less';
|
|
|
|
/* Panel */
|
|
#mw-panel {
|
|
font-size: @font-size-nav-main;
|
|
|
|
nav:first-child {
|
|
background-image: none;
|
|
|
|
h3 {
|
|
display: none;
|
|
}
|
|
|
|
.vector-menu-content {
|
|
margin-left: @margin-start-nav-main-body;
|
|
}
|
|
}
|
|
}
|