mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-04 03:58:41 +00:00
13 lines
234 B
Plaintext
13 lines
234 B
Plaintext
|
@import 'mediawiki.ui/variables';
|
||
|
|
|
||
|
|
@popupPadding: 16px;
|
||
|
|
@popupWidth: 320px;
|
||
|
|
@popupTallWidth: 215px;
|
||
|
|
@cogIconSize: 30px;
|
||
|
|
@lineHeight: 20px;
|
||
|
|
|
||
|
|
@zIndexPopup: 110;
|
||
|
|
@zIndexBackground: 111;
|
||
|
|
@zIndexForeground: 112;
|
||
|
|
@zIndexThumbnailMask: 113;
|