diff --git a/resources/screen-common.less b/resources/screen-common.less index 2eccab8..eda29bd 100644 --- a/resources/screen-common.less +++ b/resources/screen-common.less @@ -40,11 +40,17 @@ div#column-content { /* Font size: ** We take advantage of keyword scaling- browsers won't go below 9px +** See "Note 1" at https://www.w3.org/TR/CSS2/fonts.html#value-def-absolute-size ** More at http://www.w3.org/2003/07/30-font-size ** http://style.cleverchimp.com/font_size_intervals/altintervals.html +** https://web.archive.org/web/20180201141931/http://style.cleverchimp.com/font_size_intervals/altintervals.html +** This affects users whose browser font size setting is < 14.4px, +** making div#globalWrapper's font-size 11.43px at minimum. +** Gadgets have their own monobook-specific css rule to set the font-size similar to div#globalWrapper. */ body { - font: x-small sans-serif; + font-family: sans-serif; + font-size: x-small; // Typical: 16px * 0.625 == 10px. background: @background url( images/headbg.jpg ) 0 0 no-repeat; // stylelint-disable value-list-comma-newline-after /* @embed */ @@ -61,7 +67,7 @@ body { /* scale back up to a sane default */ div#globalWrapper { - font-size: 127%; + font-size: 127%; // Typical: x-small * 127% == 12.7px; width: 100%; margin: 0; padding: 0;