From 3cb19a771e1bbfbdc3f08196364852db08d8e01d Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Thu, 14 May 2020 15:19:50 -0700
Subject: [PATCH] Increase footer font size slightly to `12px`

Up from `11.2px` in order to address possible legibility and
accessibility issues.

Bug: T252267
Change-Id: I6f3564c065eae25ed2386c15e64bfa6e0cea311c
---
 variables.less | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/variables.less b/variables.less
index f5c4ac5..210b6af 100644
--- a/variables.less
+++ b/variables.less
@@ -50,6 +50,7 @@
 @font-size-heading-3: 1.2em;
 @font-size-notification: 0.8em;
 @font-size-site-notice: 0.8em;
+@font-size-footer: unit( 12 / @font-size-browser, em );
 @line-height-base: 1.6;
 @line-height-heading: 1.3;
 @line-height-code: 1.3;
@@ -106,11 +107,6 @@
 @width-search-button: 24 / @font-size-browser / @font-size-search-input;
 @font-size-search-input: unit( 13 / @font-size-browser, em ); // Equals `0.8125em`.
 
-// Footer
-// FIXME: Currently calculates at 11.2px, which is worth nothing and unreadable for a big
-// part of our audiences. Push up _at least_ to 12px.
-@font-size-footer: 0.7em;
-
 // Z-indices
 // See skinStyles/jquery.ui/jquery.ui.datepicker.css.
 // @z-index-ui-datepicker-cover: -1;