lint (definitely not cheating)

2025-10-05 11:18:39 +00:00 · 2014-03-30 23:48:00 -04:00
parent e68cc472c6
commit eccbeca659
1 changed files with 1 additions and 1 deletions
--- a/static/katex.less
+++ b/static/katex.less
@@ -243,7 +243,7 @@ big parens

        &.negativethinspace {
            margin-left: -@thinspace;
-        }        
+        }

        &.thinspace {
            width: @thinspace;