From b5eeb29fc1b5c4bf9f81f2271c95736e1d10d11f Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Thu, 25 Jun 2020 13:51:17 -0700
Subject: [PATCH] Remove obsolete '@tocFontSize' variable

Seems to have been replaced by `@font-size-minerva-small`.

Bug: T255230
Change-Id: I94d565913b44fa4fb569e587eaa85d1f3823ccbc
---
 minerva.less/minerva.variables.less | 1 -
 1 file changed, 1 deletion(-)

diff --git a/minerva.less/minerva.variables.less b/minerva.less/minerva.variables.less
index 995ffe481..44dba1725 100644
--- a/minerva.less/minerva.variables.less
+++ b/minerva.less/minerva.variables.less
@@ -20,7 +20,6 @@
 @font-size-root--feature-phone: 0.8 * @font-size-root;
 @font-size-minerva-small: unit( 14 / @font-size-browser, em ); // Equals `14px` at `16px` browser default.
 @font-size-minerva-smallest: unit( 13 / @font-size-browser, em ); // Equals `13px` at `16px` browser default.
-@tocFontSize: @font-size-minerva-small;
 
 // colors
 @grayMediumLight: @colorGray10;