mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-28 17:40:12 +00:00
5f09892813
Bug: T307771 Change-Id: I92fd11b89d4afbf99dd7ab51990835b9754767a1
6 lines
108 B
Plaintext
6 lines
108 B
Plaintext
.vector-menu-portal {
|
|
.vector-menu-heading {
|
|
border-bottom: 1px solid @border-color-portal-heading;
|
|
}
|
|
}
|