mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-30 02:15:49 +00:00
6 lines
108 B
Plaintext
6 lines
108 B
Plaintext
|
.vector-menu-portal {
|
||
|
.vector-menu-heading {
|
||
|
border-bottom: 1px solid @border-color-portal-heading;
|
||
|
}
|
||
|
}
|