2023-05-24 19:21:30 -04:00
|
|
|
// Variables for common colors and other properties
|
2018-03-23 22:40:02 -04:00
|
|
|
|
2021-08-26 17:10:32 -04:00
|
|
|
@import 'mediawiki.skin.variables.less';
|
2018-03-23 22:40:02 -04:00
|
|
|
|
2024-11-27 23:05:37 -05:00
|
|
|
@background: #212121; // don't change this; matches headbg images
|
|
|
|
@content-background: #282828;
|
|
|
|
@content-border: #363636;
|
|
|
|
@orange-border: #363636;
|
2018-03-23 22:40:02 -04:00
|
|
|
|
2020-09-14 01:59:59 -04:00
|
|
|
@top-area-height: 2.8em;
|
|
|
|
|
2018-05-03 15:45:10 -04:00
|
|
|
// mobile objects
|
|
|
|
@top-position: 5px;
|
|
|
|
@block-size: 35px;
|