Use @font-size-small variable to calculate <small> font-size fixes #13713 #13809

diff --git a/less/type.less b/less/type.less
index 5eb69f3c21c240a2d0d04c1c36ba6ce29a43ea3a..9b1e48bae098299151aa3c9c9a4324718363e25d 100644 (file)
--- 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