2020-04-18 04:22:52 +00:00
|
|
|
// Excerpts from WikimediaUI Base
|
|
|
|
// == Colors ==
|
|
|
|
// WikimediaUI (`wmui`) color palette
|
|
|
|
// See https://design.wikimedia.org/style-guide/visual-style_colors.html
|
|
|
|
// Don't use those variables directly, instead define your vars
|
|
|
|
// referring to them as applied further below.
|
|
|
|
|
|
|
|
@wmui-color-base10: #202122; // = HSB 210°, 6%, 13%
|
|
|
|
|
|
|
|
// Foreground Colors
|
|
|
|
@color-base: @wmui-color-base10;
|
|
|
|
|
|
|
|
// Border radius
|
|
|
|
@border-radius: 2px;
|
|
|
|
|
|
|
|
// MultimediaViewer specific global variables
|
2014-06-17 22:23:18 +00:00
|
|
|
// Height of the area of the metadata bar which is visible without scrolling.
|
2014-10-27 16:17:49 +00:00
|
|
|
@metadatabar-above-fold-height: 86px;
|
2014-04-01 01:41:57 +00:00
|
|
|
|
2014-10-27 16:17:49 +00:00
|
|
|
// adjust for @metadatabar-below-fold-pushup-height wide bottom padding - that area will be overlapped
|
|
|
|
// by the revealed part of the below-the-fold content
|
|
|
|
@metadatabar-above-fold-inner-height: @metadatabar-above-fold-height - @metadatabar-below-fold-pushup-height;
|
|
|
|
|
|
|
|
// Height of the top part of the "below-fold" content which is actually above the fold, as a scrolling affordance
|
|
|
|
@metadatabar-below-fold-pushup-height: 30px;
|
2014-09-12 18:05:13 +00:00
|
|
|
|
2014-10-29 19:50:53 +00:00
|
|
|
@panel-above-fold-background-color: #fff;
|
|
|
|
|
2014-09-12 18:05:13 +00:00
|
|
|
// Height of the progress bar
|
|
|
|
@progress-bar-height: 14px;
|
2014-09-16 20:33:05 +00:00
|
|
|
|
|
|
|
// Height of dialogs
|
|
|
|
@dialog-height: 350px;
|
|
|
|
|
|
|
|
// Arrow size for dialogs
|
|
|
|
@arrow-size: 20px;
|
|
|
|
@arrow-border-size: 2px;
|
2014-07-23 23:00:37 +00:00
|
|
|
|
2014-12-07 08:09:04 +00:00
|
|
|
@dialog-warning-color: #ffd36e;
|
|
|
|
|
2014-07-23 23:00:37 +00:00
|
|
|
// Some button things that get included all over
|
|
|
|
@navbutton-width: 18px;
|
|
|
|
@buttons-offset-right: 5px;
|
|
|
|
@buttons-offset-each-top: 37px;
|