2022-12-14 20:57:25 +00:00
|
|
|
.vector-feature-page-tools-enabled .vector-pinnable-element {
|
2022-12-19 16:27:54 +00:00
|
|
|
& > * + * {
|
|
|
|
// Apply top border to every children of pinnable elements except the first
|
2022-11-28 21:08:40 +00:00
|
|
|
border-top: @border-width-base @border-style-base @colorGray14;
|
|
|
|
}
|
|
|
|
|
2022-12-19 16:27:54 +00:00
|
|
|
.vector-menu-heading {
|
|
|
|
.mixin-vector-dropdown-menu-item();
|
|
|
|
.mixin-vector-menu-heading();
|
|
|
|
}
|
|
|
|
|
|
|
|
.mw-list-item a {
|
|
|
|
// Mirror styles from Dropdown.less
|
|
|
|
.mixin-vector-dropdown-menu-item();
|
|
|
|
color: @color-link;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: merge this into the selector above after page tools is enabled everywhere
|
|
|
|
.vector-pinned-container .vector-pinnable-element {
|
|
|
|
// 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-pinnable-header,
|
|
|
|
.vector-menu-heading,
|
2023-01-06 17:07:29 +00:00
|
|
|
.mw-list-item a {
|
2022-12-19 16:27:54 +00:00
|
|
|
padding-left: 0;
|
|
|
|
padding-right: 0;
|
2022-11-28 21:08:40 +00:00
|
|
|
}
|
|
|
|
}
|