mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-30 02:15:49 +00:00
fe105edcdb
- Generalize spacing for pinnable header and menu items under PinnableHeader.less and PinnableElement.less - Impacts main menu, page tools & personal tools Bug: T324877 Change-Id: I4042e5c1957d64797f21146f687ef960721299ce
43 lines
913 B
Plaintext
43 lines
913 B
Plaintext
@import '../../common/variables.less';
|
|
@import 'mediawiki.mixins.less';
|
|
|
|
.vector-feature-page-tools-disabled .vector-main-menu-group,
|
|
.vector-feature-page-tools-disabled .vector-main-menu-action-item {
|
|
margin: 0 @margin-end-portal 0 @margin-start-portal;
|
|
padding: 0.25em 0;
|
|
direction: ltr;
|
|
|
|
.vector-menu-heading {
|
|
.mixin-vector-menu-heading();
|
|
font-size: @font-size-nav-main-heading;
|
|
margin: 0.5em 0 0 ( @margin-start-nav-main-body / @font-size-nav-main-heading );
|
|
padding: 0.25em 0;
|
|
border-bottom-style: @border-style-base;
|
|
}
|
|
|
|
.vector-menu-content {
|
|
margin-left: @margin-start-portal-body;
|
|
padding-top: 0;
|
|
|
|
ul {
|
|
padding-top: 0.3em;
|
|
}
|
|
|
|
li {
|
|
margin: 0;
|
|
padding: 0.25em 0;
|
|
font-size: @font-size-portal-list-item;
|
|
line-height: @line-height-nav;
|
|
word-wrap: break-word;
|
|
|
|
a {
|
|
color: @color-link;
|
|
|
|
&:visited {
|
|
color: @color-link--visited;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|