mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-23 21:22:52 +00:00
426ff06241
These require JavaScript to work, so hide it by default and then style it once JavaScript has loaded. Change-Id: I34ded9f279600945ab18dd7ecfd69d22e141a324
5 lines
122 B
Plaintext
5 lines
122 B
Plaintext
@import 'tableOfContents.less';
|
|
@import 'popupNotification.less';
|
|
@import 'stickyHeader.less';
|
|
@import 'bottomDock.less';
|