|
|
|
@import 'mediawiki.mixins';
|
|
|
|
@import 'themes/isekai.less'; // default theme
|
|
|
|
// .import-themes(); // might be how we apply any selected theme(s); not implemented
|
|
|
|
|
|
|
|
// Should really be part of the theme, but currently too much alignment/positioning
|
|
|
|
// breaks if this is changed.
|
|
|
|
@font-size: 0.95em;
|
|
|
|
|
|
|
|
// Widths
|
|
|
|
|
|
|
|
// Remember to also update skin.json (and possibly mobile.js) if you change these
|
|
|
|
// For some reason doing @mobile-width + 1px doesn't seem to actually work,
|
|
|
|
// so we need both for each thing
|
|
|
|
@mobile-width: 850px;
|
|
|
|
@desktop-small-floor: 851px;
|
|
|
|
@desktop-small-width: 1099px;
|
|
|
|
@desktop-mid-floor: 1100px;
|
|
|
|
@desktop-mid-width: 1339px;
|
|
|
|
@desktop-large-floor: 1340px;
|
|
|
|
|
|
|
|
// The max-width for the content
|
|
|
|
@content-width: 102em;
|
|
|
|
|
|
|
|
@content-padding: 2em;
|
|
|
|
|
|
|
|
@column-left-size: 14em;
|
|
|
|
@column-right-size: 16em;
|
|
|
|
|
|
|
|
@fixed-header-height: 3.125em;
|
|
|
|
@color-height: 0.35em;
|
|
|
|
|
|
|
|
// Timeless functions
|
|
|
|
@import 'mixins.less';
|