mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 03:34:25 +00:00
dca02fee92
These styles are not going to be needed in the main menu so are not generic. Moving to the PageTools component. Bug: T317899 Change-Id: I17b8ecd645c593c0368ea158265dbf8f6a575345
14 lines
385 B
Plaintext
14 lines
385 B
Plaintext
.vector-pinnable-element {
|
|
.vector-menu {
|
|
border-top: @border-width-base @border-style-base @colorGray14;
|
|
}
|
|
|
|
// Remove the border for the first .vector-menu since
|
|
// it already exists on the pinnable header, or, when there's no
|
|
// pinnable header, a border exists on the dropdown container.
|
|
.vector-menu:first-child,
|
|
.vector-pinnable-header + .vector-menu {
|
|
border: 0;
|
|
}
|
|
}
|