From c559b916da002380ba25ba0594e0e98040c3b9a9 Mon Sep 17 00:00:00 2001 From: Ryan Randall Date: Tue, 26 Dec 2017 16:35:01 -0500 Subject: [PATCH] Removing katex-logo css, as it's no longer used. --- static/katex.less | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/static/katex.less b/static/katex.less index 78f3211a..88d3b1cb 100644 --- a/static/katex.less +++ b/static/katex.less @@ -428,26 +428,6 @@ margin-right: 50%; } - .katex-logo { - .a { - font-size: 0.75em; - margin-left: -0.32em; - position: relative; - top: -0.2em; - } - .t { - margin-left: -0.23em; - } - .e { - margin-left: -0.1667em; - position: relative; - top: 0.2155em; - } - .x { - margin-left: -0.125em; - } - } - .rule { display: inline-block; border: solid 0;