From 09cf618acff6e6992aa14bc11c89206f104c6748 Mon Sep 17 00:00:00 2001
From: Thomas Welton <thomaswelton@me.com>
Date: Fri, 20 Jun 2014 10:31:49 +0100
Subject: [PATCH] Use @font-size-small variable to calculate <small> font-size
 fixes #13713 #13809

---
 less/type.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/less/type.less b/less/type.less
index 5eb69f3c21..9b1e48bae0 100644
--- a/less/type.less
+++ b/less/type.less
@@ -74,10 +74,10 @@ p {
 // Emphasis & misc
 // -------------------------
 
-// Ex: 14px base font * 85% = about 12px
+// Ex: (12px small font / 14px base font) * 100% = about 85%
 small,
 .small {
-  font-size: 85%;
+  font-size: floor((100% * @font-size-small / @font-size-base));
 }
 
 // Undo browser default styling