From 607fbb78ee7e8c3044363e16cd29fcdb5849bfc6 Mon Sep 17 00:00:00 2001
From: AronDemian <AronManning5@gmail.com>
Date: Fri, 28 Feb 2020 06:37:03 +0100
Subject: [PATCH] Extend documentation of CSS trick that sets the minimum
 content font-size to 11.43px

Change-Id: If90ae377705eb88807be465b24859b9ccc63d09c
---
 resources/screen-common.less | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

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;