From 5756be048cb69a2b3e250f2470c4e45f0b8f7dd6 Mon Sep 17 00:00:00 2001
From: Emily Eisenberg <emily@khanacademy.org>
Date: Tue, 5 Aug 2014 16:52:25 -0700
Subject: [PATCH] Rename variables from @size-# to @size#

Match the naming styles used for the css styles in the variable names.

Test Plan:
 - Make sure `x\Huge x \tiny x \Huge x` renders correctly.
 - Make sure the huxley tests stay the same

Auditors: alpert
---
 static/katex.less | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/static/katex.less b/static/katex.less
index 5b1caead7..73bef0c4b 100644
--- a/static/katex.less
+++ b/static/katex.less
@@ -311,21 +311,21 @@ big parens
     .sizing {
         display: inline-block;
 
-        @size-1: 0.5;
-        @size-2: 0.7;
-        @size-3: 0.8;
-        @size-4: 0.9;
-        @size-5: 1.0;
-        @size-6: 1.2;
-        @size-7: 1.44;
-        @size-8: 1.73;
-        @size-9: 2.07;
-        @size-10: 2.49;
+        @size1: 0.5;
+        @size2: 0.7;
+        @size3: 0.8;
+        @size4: 0.9;
+        @size5: 1.0;
+        @size6: 1.2;
+        @size7: 1.44;
+        @size8: 1.73;
+        @size9: 2.07;
+        @size10: 2.49;
 
         .generate-size-change(@from, @to) {
             &.reset-size@{from}.size@{to} {
-                @sizeFromVariable: ~"size-@{from}";
-                @sizeToVariable: ~"size-@{to}";
+                @sizeFromVariable: ~"size@{from}";
+                @sizeToVariable: ~"size@{to}";
                 font-size: (@@sizeToVariable / @@sizeFromVariable) * 1em;
             }
         }