2019-08-08 20:01:03 +00:00
|
|
|
@import '../../minerva.less/minerva.variables.less';
|
|
|
|
@import '../../minerva.less/minerva.mixins.less';
|
2019-08-30 00:02:35 +00:00
|
|
|
@import 'toc.less';
|
|
|
|
|
2017-07-12 15:12:40 +00:00
|
|
|
// Content formatting and typography
|
|
|
|
//
|
|
|
|
// Our content is predominately text, hence visual hierarchy must be clear.
|
|
|
|
|
|
|
|
body {
|
2019-01-17 08:46:26 +00:00
|
|
|
font-family: @fontFamilyBase;
|
2018-10-03 05:17:48 +00:00
|
|
|
line-height: 1.4;
|
2018-04-20 08:51:22 +00:00
|
|
|
-webkit-tap-highlight-color: rgba( 0, 0, 0, 0.2 );
|
2019-11-18 23:02:45 +00:00
|
|
|
overflow-y: scroll;
|
2017-07-12 15:12:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.content {
|
2019-12-06 05:12:46 +00:00
|
|
|
line-height: @line-height-content;
|
2017-07-12 15:12:40 +00:00
|
|
|
// Deal with long links (bug 60387)
|
|
|
|
word-wrap: break-word;
|
2018-06-28 20:21:05 +00:00
|
|
|
|
|
|
|
/* Emulate Center - from mediawiki.skinning/elements.css */
|
|
|
|
.center {
|
|
|
|
width: 100%;
|
|
|
|
text-align: center;
|
|
|
|
|
|
|
|
> *,
|
|
|
|
.thumb {
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
}
|
|
|
|
}
|
2017-07-12 15:12:40 +00:00
|
|
|
}
|
|
|
|
|
2019-12-06 05:46:50 +00:00
|
|
|
// Feature phones < 320px viewport receive smaller font.
|
2017-09-28 14:23:45 +00:00
|
|
|
@media all and ( max-width: @width-breakpoint-mobile - 1 ) {
|
2019-12-06 05:46:50 +00:00
|
|
|
html {
|
|
|
|
font-size: @font-size-root--feature-phone;
|
2017-07-12 15:12:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.content {
|
|
|
|
margin: 0 12px;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.nomobile {
|
|
|
|
// No mobile should trump any other class. e.g. .content table { display: table; }
|
|
|
|
display: none !important;
|
|
|
|
}
|
|
|
|
|
2018-10-03 05:17:48 +00:00
|
|
|
// Support iOS 9+ browsers: Enable Dynamic Type resizing, see
|
|
|
|
// http://www.interactiveaccessibility.com/blog/text-resizing-web-pages-ios-using-dynamic-type
|
|
|
|
// & T204807.
|
|
|
|
@supports ( font: -apple-system-body ) {
|
|
|
|
html {
|
2018-12-12 23:20:10 +00:00
|
|
|
font: -apple-system-body; // stylelint-disable-line font-family-no-missing-generic-family-keyword
|
2018-10-03 05:17:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Most iOS browsers' default font size is 16px but Dynamic Type's default
|
2019-12-06 05:46:50 +00:00
|
|
|
// font size is 17px. We need to scale down @font-size-root and
|
|
|
|
// @font-size-root--feature-phone by this ratio in order to make them relative to these
|
2018-10-03 05:17:48 +00:00
|
|
|
// browsers' defaults again. By doing this, the default Dynamic Type text size
|
|
|
|
// will appear identical to the browser's default text size.
|
|
|
|
@dynamicTypeScalingFactor: 16 / 17;
|
|
|
|
|
|
|
|
body {
|
2019-12-06 05:46:50 +00:00
|
|
|
font-size: @font-size-root * @dynamicTypeScalingFactor;
|
2018-10-03 05:17:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@media all and ( max-width: @width-breakpoint-mobile - 1 ) {
|
|
|
|
body {
|
2019-12-06 05:46:50 +00:00
|
|
|
font-size: @font-size-root--feature-phone * @dynamicTypeScalingFactor;
|
2018-10-03 05:17:48 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|