mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-29 18:05:19 +00:00
69f3dcd7a7
Makes the dropdown styles compatible with the pinned state of the menu so that both states can share the same styles. - New vector-menu-heading mixin shared between main menu headings and dropdown headings. - New @font-size-dropdown variable so font-size is consistent in dropdown and pinned state. - Ensure hidden 'more' menu works in both pinned and dropdown state. - Removes extra <ul><li> from PinnableDropdownContents.mustache, as the child Menu template already contain <ul><li> elements. Bug: T318434 Change-Id: Ie1a56d8584c1dc3f20c6643ff4cfc740be4007fa
30 lines
667 B
Plaintext
30 lines
667 B
Plaintext
// Ensure there is only 1 page tools landmark at anytime
|
|
.vector-page-tools-landmark {
|
|
.vector-page-tools-pinned #right-navigation &,
|
|
.vector-page-tools-unpinned .vector-column-end & {
|
|
display: none;
|
|
}
|
|
|
|
.vector-pinnable-header {
|
|
padding: @padding-vertical-tabs;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Styles applying to all items in the pinned column.
|
|
*/
|
|
.vector-column-end {
|
|
.vector-dropdown-content {
|
|
padding-left: 45px;
|
|
width: 140px;
|
|
}
|
|
|
|
// Make the heading border line up with the edge of the text
|
|
// (Whereas in a dropdown, the border lines up with the edge of the dropdown container).
|
|
.vector-menu-heading,
|
|
.mw-list-item a {
|
|
padding-left: 0;
|
|
padding-right: 0;
|
|
}
|
|
}
|