diff --git a/.gitignore b/.gitignore
index 9008d2cbed817102e5850fea2049ae7b4608f658..ca8141d73e7b66780c7f38886c9154b46c524b00 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 tex/
 build/
 node_modules/
+static/katex/
 npm-debug.log
diff --git a/Makefile b/Makefile
index b7df89b6140de05a2de418d67be1d2aeb94a80eb..d4abce977afc0cb09e8a6005f97b7eda2d2a7e4d 100644
--- a/Makefile
+++ b/Makefile
@@ -2,10 +2,16 @@
 
 build: lint build/pseudocode.min.js build/pseudocode.min.css
 
-setup:
+setup: setup-katex
 	npm install
 	mkdir -p build
 	ln -s ../static/fonts build/fonts
+	ln -s ../static/katex build/katex
+
+setup-katex:
+	@rm -rf static/katex
+	cd static && wget https://github.com/Khan/KaTeX/releases/download/v0.2.0/katex.zip && unzip katex.zip
+	@rm -rf static/katex.zip
 
 # Watch the changes to js source code and update the target js code
 watch-js: pseudocode.js $(wildcard src/*.js)
@@ -21,18 +27,17 @@ lint: pseudocode.js $(wildcard src/*.js)
 	./node_modules/.bin/jshint $^
 
 build/pseudocode.js: pseudocode.js $(wildcard src/*.js)
-	./node_modules/.bin/browserify $< --standalone pseudocode -o $@
+	./node_modules/.bin/browserify --exclude katex $< --standalone pseudocode -o $@
 
 build/pseudocode.min.js: build/pseudocode.js
 	./node_modules/.bin/uglifyjs --mangle --beautify beautify=false < $< > $@
 
+build/pseudocode.css: static/pseudocode.css
+	cp static/pseudocode.css build/pseudocode.css
+
 build/pseudocode.min.css: build/pseudocode.css
 	./node_modules/.bin/cleancss -o $@ $<
 
-build/pseudocode.css: static/pseudocode.css static/katex.min.css
-	cp static/katex.min.css build/pseudocode.css
-	cat static/pseudocode.css >> build/pseudocode.css
-
 build/pseudocode: build/pseudocode.min.js build/pseudocode.min.css README.md
 	mkdir -p build/pseudocode
 	cp -r $^ build/pseudocode
diff --git a/src/Parser.js b/src/Parser.js
index dd93074c08acf93f2bb8489a44d8730ba4d94482..78ab6b7f1d1107acd95d23b0752c8fe5595da25e 100644
--- a/src/Parser.js
+++ b/src/Parser.js
@@ -461,7 +461,8 @@ Parser.prototype._parseAtom = function() {
         if (tokenText === null) continue;
 
         var anyWhitespace = this._lexer.get().whitespace;
-        return new AtomNode(atomType, tokenText.toLowerCase(), anyWhitespace);
+        if (atomType !== 'ordinary') tokenText = tokenText.toLowerCase();
+        return new AtomNode(atomType, tokenText, anyWhitespace);
     }
     return null;
 };
diff --git a/src/Renderer.js b/src/Renderer.js
index 8f8e8b908d2f8b85fcc7da586c12d1c5181f980a..d3e290ed3b4160a231b61b1d9b95f60e5da06f55 100644
--- a/src/Renderer.js
+++ b/src/Renderer.js
@@ -1,6 +1,5 @@
 /*
 * */
-var katex = require('katex');
 var utils = require('./utils');
 
 /*
@@ -52,8 +51,8 @@ TextStyle.prototype._fontCommandTable = {
     // font-family
     normalfont: { 'font-family': 'KaTeX_Main'},
     rmfamily: { 'font-family': 'KaTeX_Main'},
-    sffamily: { 'font-family': 'KaTeX_SansSerif'},
-    ttfamily: { 'font-family': 'KaTeX_Typewriter'},
+    sffamily: { 'font-family': 'KaTeX_SansSerif_Replace'},
+    ttfamily: { 'font-family': 'KaTeX_Typewriter_Replace'},
     // weight
     bfseries: { 'font-weight': 'bold'},
     mdseries: { 'font-weight': 'medium'},
@@ -67,8 +66,8 @@ TextStyle.prototype._fontCommandTable = {
     // font-family
     textnormal: { 'font-family': 'KaTeX_Main'},
     textrm: { 'font-family': 'KaTeX_Main'},
-    textsf: { 'font-family': 'KaTeX_SansSerif'},
-    texttt: { 'font-family': 'KaTeX_Typewriter'},
+    textsf: { 'font-family': 'KaTeX_SansSerif_Replace'},
+    texttt: { 'font-family': 'KaTeX_Typewriter_Replace'},
     // weight
     textbf: { 'font-weight': 'bold'},
     textmd: { 'font-weight': 'medium'},
@@ -162,6 +161,10 @@ TextEnvironment.prototype.renderToHTML = function() {
             this._html.putText(text);
             break;
         case 'math':
+            if (!katex) {
+                try { katex = require('katex'); }
+                catch(e) { throw 'katex is required to render math'; }
+            }
             var mathHTML = katex.renderToString(text);
             this._html.putSpan(mathHTML);
             break;
diff --git a/static/fonts/KaTeX_AMS-Regular.eot b/static/fonts/KaTeX_AMS-Regular.eot
deleted file mode 100644
index 842e453e05dcf749264d9563d7d72e050a038fbd..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_AMS-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_AMS-Regular.ttf b/static/fonts/KaTeX_AMS-Regular.ttf
deleted file mode 100644
index 8da3d446e8479fc9355fde40aabd20f126554b4d..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_AMS-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_AMS-Regular.woff b/static/fonts/KaTeX_AMS-Regular.woff
deleted file mode 100644
index f8934ec028acc87911c37d2e27d6fbe8f7c4e955..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_AMS-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_AMS-Regular.woff2 b/static/fonts/KaTeX_AMS-Regular.woff2
deleted file mode 100644
index 64bdd82f93a86354e48ec41999dcebf4d86e1b23..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_AMS-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Bold.eot b/static/fonts/KaTeX_Main-Bold.eot
deleted file mode 100644
index 0cd6d11537387155349ac6a51f92fc2722a5ae49..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Bold.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Bold.ttf b/static/fonts/KaTeX_Main-Bold.ttf
deleted file mode 100644
index f7956abdc82a7ef17b611170fbd359b9b046eb7c..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Bold.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Bold.woff b/static/fonts/KaTeX_Main-Bold.woff
deleted file mode 100644
index f6eb23155bde1140aeea865695306c43d600ae0a..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Bold.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Bold.woff2 b/static/fonts/KaTeX_Main-Bold.woff2
deleted file mode 100644
index 994f3de51613a502dc5d3881afcca5e8f4696387..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Bold.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Italic.eot b/static/fonts/KaTeX_Main-Italic.eot
deleted file mode 100644
index 693bdf71b7d742de6a8baa1811610e46101b7eab..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Italic.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Italic.ttf b/static/fonts/KaTeX_Main-Italic.ttf
deleted file mode 100644
index 0d00c60bf478e7aea7a781baed40923afce4227e..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Italic.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Italic.woff b/static/fonts/KaTeX_Main-Italic.woff
deleted file mode 100644
index 43126b31ccbc605eb7c8e69ae7659e0cc0698044..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Italic.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Italic.woff2 b/static/fonts/KaTeX_Main-Italic.woff2
deleted file mode 100644
index 343057396d94c6290a80315039dda96723b84695..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Italic.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Regular.eot b/static/fonts/KaTeX_Main-Regular.eot
deleted file mode 100644
index bd59c8896ee81972cc339fcc3778c7b8b6d582fb..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Regular.ttf b/static/fonts/KaTeX_Main-Regular.ttf
deleted file mode 100644
index 6f3cdca77d1347956b07d87876a74cfa7efccaf5..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Regular.woff b/static/fonts/KaTeX_Main-Regular.woff
deleted file mode 100644
index 57e7f4b7e26c9421520f50c93949c124b0200745..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Main-Regular.woff2 b/static/fonts/KaTeX_Main-Regular.woff2
deleted file mode 100644
index 8c98320f9c8a56283113a3bd98f0607cf0b70dfc..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Main-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-BoldItalic.eot b/static/fonts/KaTeX_Math-BoldItalic.eot
deleted file mode 100644
index 7705bfced38e51b50688c89a39c94271776f16a2..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-BoldItalic.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-BoldItalic.ttf b/static/fonts/KaTeX_Math-BoldItalic.ttf
deleted file mode 100644
index ab60f80c4566613bec79ef9133225ef24d6e151e..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-BoldItalic.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-BoldItalic.woff b/static/fonts/KaTeX_Math-BoldItalic.woff
deleted file mode 100644
index f5dee4e005a2b1fcdb77e8142138789862d1b590..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-BoldItalic.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-BoldItalic.woff2 b/static/fonts/KaTeX_Math-BoldItalic.woff2
deleted file mode 100644
index bfe677c1a5c9a7d2b421090ddad9aff24e8fd085..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-BoldItalic.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Italic.eot b/static/fonts/KaTeX_Math-Italic.eot
deleted file mode 100644
index fc9bf197a2782fbe192486b2d745b88e53f1b1d5..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Italic.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Italic.ttf b/static/fonts/KaTeX_Math-Italic.ttf
deleted file mode 100644
index a4078ea011711d50bd943c3e3b399fa1d48d5c24..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Italic.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Italic.woff b/static/fonts/KaTeX_Math-Italic.woff
deleted file mode 100644
index fc21e64e5af02fd24e0c81d2f5db05b18e694011..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Italic.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Italic.woff2 b/static/fonts/KaTeX_Math-Italic.woff2
deleted file mode 100644
index 0ef8a1e8ea466e389403db9a8df5838b042e9fb7..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Italic.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Regular.eot b/static/fonts/KaTeX_Math-Regular.eot
deleted file mode 100644
index 14b0c2aa6199f978413a693dc169f307530797d7..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Regular.ttf b/static/fonts/KaTeX_Math-Regular.ttf
deleted file mode 100644
index f2561022f90b3f07f72833f1cf053a753f1f3141..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Regular.woff b/static/fonts/KaTeX_Math-Regular.woff
deleted file mode 100644
index 847ba376c83209432cd54ed55b6d2107a4b4fbee..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Math-Regular.woff2 b/static/fonts/KaTeX_Math-Regular.woff2
deleted file mode 100644
index 24b63d8a6766f28d7bb9bff8409104978ed7a3ee..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Math-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Size1-Regular.eot b/static/fonts/KaTeX_Size1-Regular.eot
deleted file mode 100644
index 0a581e8a04c3a9c58226ce09911dec5296ddfe81..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size1-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Size1-Regular.ttf b/static/fonts/KaTeX_Size1-Regular.ttf
deleted file mode 100644
index 2fb653bc1f050de5b545868408643a01a278336a..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size1-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Size1-Regular.woff b/static/fonts/KaTeX_Size1-Regular.woff
deleted file mode 100644
index 359a8640088e5e6a3aa562edfcf025bbc206f331..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size1-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Size1-Regular.woff2 b/static/fonts/KaTeX_Size1-Regular.woff2
deleted file mode 100644
index 764c9335a0b00449aa1b21b58b875e5c2daab77f..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size1-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Size2-Regular.eot b/static/fonts/KaTeX_Size2-Regular.eot
deleted file mode 100644
index 8af663865e46e160b3e9d9c5cc44f3f0f3b53422..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size2-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Size2-Regular.ttf b/static/fonts/KaTeX_Size2-Regular.ttf
deleted file mode 100644
index 285203470abc10c6176b9ffb7fc133f1caf58910..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size2-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Size2-Regular.woff b/static/fonts/KaTeX_Size2-Regular.woff
deleted file mode 100644
index d97cabc792e0c5916cd8bab4eb16b52af5608141..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size2-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Size2-Regular.woff2 b/static/fonts/KaTeX_Size2-Regular.woff2
deleted file mode 100644
index a51a1fdbb36ca557e010d81a1fc1114da4a8df94..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size2-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Size3-Regular.eot b/static/fonts/KaTeX_Size3-Regular.eot
deleted file mode 100644
index 5c179834bb2405135c9a03b5e0702ec7664cb7ea..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size3-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Size3-Regular.ttf b/static/fonts/KaTeX_Size3-Regular.ttf
deleted file mode 100644
index 61df9a369469501d9bd1d0dec69ee7329939bd42..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size3-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Size3-Regular.woff b/static/fonts/KaTeX_Size3-Regular.woff
deleted file mode 100644
index 7fd7bbaaacff78ed7f2fcbaa08f344be9fc81deb..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size3-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Size3-Regular.woff2 b/static/fonts/KaTeX_Size3-Regular.woff2
deleted file mode 100644
index 4a4ba33a4d49e9665ae08f8b48993ab4e2203a6e..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size3-Regular.woff2 and /dev/null differ
diff --git a/static/fonts/KaTeX_Size4-Regular.eot b/static/fonts/KaTeX_Size4-Regular.eot
deleted file mode 100644
index 373416210e197d899ecc3ddf07a88008a1bd19ed..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size4-Regular.eot and /dev/null differ
diff --git a/static/fonts/KaTeX_Size4-Regular.ttf b/static/fonts/KaTeX_Size4-Regular.ttf
deleted file mode 100644
index 42326180d8f61a973f498f6481bd03c5f5196b91..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size4-Regular.ttf and /dev/null differ
diff --git a/static/fonts/KaTeX_Size4-Regular.woff b/static/fonts/KaTeX_Size4-Regular.woff
deleted file mode 100644
index dd2cd183b6293c1c7cb760fe6b70856464fe7367..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size4-Regular.woff and /dev/null differ
diff --git a/static/fonts/KaTeX_Size4-Regular.woff2 b/static/fonts/KaTeX_Size4-Regular.woff2
deleted file mode 100644
index 14b0dc28063e3c405bf1b90bfbda4f272a7ae14d..0000000000000000000000000000000000000000
Binary files a/static/fonts/KaTeX_Size4-Regular.woff2 and /dev/null differ
diff --git a/static/katex.min.css b/static/katex.min.css
deleted file mode 100644
index 9b033c62d2cd78d75ccffd31b55ad81dfb353f1b..0000000000000000000000000000000000000000
--- a/static/katex.min.css
+++ /dev/null
@@ -1 +0,0 @@
-@font-face{font-family:KaTeX_AMS;src:url(fonts/KaTeX_AMS-Regular.eot);src:url(fonts/KaTeX_AMS-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_AMS-Regular.woff2) format('woff2'),url(fonts/KaTeX_AMS-Regular.woff) format('woff'),url(fonts/KaTeX_AMS-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Caligraphic;src:url(fonts/KaTeX_Caligraphic-Bold.eot);src:url(fonts/KaTeX_Caligraphic-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Caligraphic-Bold.woff2) format('woff2'),url(fonts/KaTeX_Caligraphic-Bold.woff) format('woff'),url(fonts/KaTeX_Caligraphic-Bold.ttf) format('ttf');font-weight:700;font-style:normal}@font-face{font-family:KaTeX_Caligraphic;src:url(fonts/KaTeX_Caligraphic-Regular.eot);src:url(fonts/KaTeX_Caligraphic-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Caligraphic-Regular.woff2) format('woff2'),url(fonts/KaTeX_Caligraphic-Regular.woff) format('woff'),url(fonts/KaTeX_Caligraphic-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Fraktur;src:url(fonts/KaTeX_Fraktur-Bold.eot);src:url(fonts/KaTeX_Fraktur-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Fraktur-Bold.woff2) format('woff2'),url(fonts/KaTeX_Fraktur-Bold.woff) format('woff'),url(fonts/KaTeX_Fraktur-Bold.ttf) format('ttf');font-weight:700;font-style:normal}@font-face{font-family:KaTeX_Fraktur;src:url(fonts/KaTeX_Fraktur-Regular.eot);src:url(fonts/KaTeX_Fraktur-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Fraktur-Regular.woff2) format('woff2'),url(fonts/KaTeX_Fraktur-Regular.woff) format('woff'),url(fonts/KaTeX_Fraktur-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Greek;src:url(fonts/KaTeX_Greek-Bold.eot);src:url(fonts/KaTeX_Greek-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Greek-Bold.woff2) format('woff2'),url(fonts/KaTeX_Greek-Bold.woff) format('woff'),url(fonts/KaTeX_Greek-Bold.ttf) format('ttf');font-weight:700;font-style:normal}@font-face{font-family:KaTeX_Greek;src:url(fonts/KaTeX_Greek-BoldItalic.eot);src:url(fonts/KaTeX_Greek-BoldItalic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Greek-BoldItalic.woff2) format('woff2'),url(fonts/KaTeX_Greek-BoldItalic.woff) format('woff'),url(fonts/KaTeX_Greek-BoldItalic.ttf) format('ttf');font-weight:700;font-style:italic}@font-face{font-family:KaTeX_Greek;src:url(fonts/KaTeX_Greek-Italic.eot);src:url(fonts/KaTeX_Greek-Italic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Greek-Italic.woff2) format('woff2'),url(fonts/KaTeX_Greek-Italic.woff) format('woff'),url(fonts/KaTeX_Greek-Italic.ttf) format('ttf');font-weight:400;font-style:italic}@font-face{font-family:KaTeX_Greek;src:url(fonts/KaTeX_Greek-Regular.eot);src:url(fonts/KaTeX_Greek-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Greek-Regular.woff2) format('woff2'),url(fonts/KaTeX_Greek-Regular.woff) format('woff'),url(fonts/KaTeX_Greek-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Main;src:url(fonts/KaTeX_Main-Bold.eot);src:url(fonts/KaTeX_Main-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Main-Bold.woff2) format('woff2'),url(fonts/KaTeX_Main-Bold.woff) format('woff'),url(fonts/KaTeX_Main-Bold.ttf) format('ttf');font-weight:700;font-style:normal}@font-face{font-family:KaTeX_Main;src:url(fonts/KaTeX_Main-Italic.eot);src:url(fonts/KaTeX_Main-Italic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Main-Italic.woff2) format('woff2'),url(fonts/KaTeX_Main-Italic.woff) format('woff'),url(fonts/KaTeX_Main-Italic.ttf) format('ttf');font-weight:400;font-style:italic}@font-face{font-family:KaTeX_Main;src:url(fonts/KaTeX_Main-Regular.eot);src:url(fonts/KaTeX_Main-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Main-Regular.woff2) format('woff2'),url(fonts/KaTeX_Main-Regular.woff) format('woff'),url(fonts/KaTeX_Main-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Math;src:url(fonts/KaTeX_Math-BoldItalic.eot);src:url(fonts/KaTeX_Math-BoldItalic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Math-BoldItalic.woff2) format('woff2'),url(fonts/KaTeX_Math-BoldItalic.woff) format('woff'),url(fonts/KaTeX_Math-BoldItalic.ttf) format('ttf');font-weight:700;font-style:italic}@font-face{font-family:KaTeX_Math;src:url(fonts/KaTeX_Math-Italic.eot);src:url(fonts/KaTeX_Math-Italic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Math-Italic.woff2) format('woff2'),url(fonts/KaTeX_Math-Italic.woff) format('woff'),url(fonts/KaTeX_Math-Italic.ttf) format('ttf');font-weight:400;font-style:italic}@font-face{font-family:KaTeX_Math;src:url(fonts/KaTeX_Math-Regular.eot);src:url(fonts/KaTeX_Math-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Math-Regular.woff2) format('woff2'),url(fonts/KaTeX_Math-Regular.woff) format('woff'),url(fonts/KaTeX_Math-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_SansSerif;src:url(fonts/KaTeX_SansSerif-Bold.eot);src:url(fonts/KaTeX_SansSerif-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_SansSerif-Bold.woff2) format('woff2'),url(fonts/KaTeX_SansSerif-Bold.woff) format('woff'),url(fonts/KaTeX_SansSerif-Bold.ttf) format('ttf');font-weight:700;font-style:normal}@font-face{font-family:KaTeX_SansSerif;src:url(fonts/KaTeX_SansSerif-Italic.eot);src:url(fonts/KaTeX_SansSerif-Italic.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_SansSerif-Italic.woff2) format('woff2'),url(fonts/KaTeX_SansSerif-Italic.woff) format('woff'),url(fonts/KaTeX_SansSerif-Italic.ttf) format('ttf');font-weight:400;font-style:italic}@font-face{font-family:KaTeX_SansSerif;src:url(fonts/KaTeX_SansSerif-Regular.eot);src:url(fonts/KaTeX_SansSerif-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_SansSerif-Regular.woff2) format('woff2'),url(fonts/KaTeX_SansSerif-Regular.woff) format('woff'),url(fonts/KaTeX_SansSerif-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Script;src:url(fonts/KaTeX_Script-Regular.eot);src:url(fonts/KaTeX_Script-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Script-Regular.woff2) format('woff2'),url(fonts/KaTeX_Script-Regular.woff) format('woff'),url(fonts/KaTeX_Script-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Size1;src:url(fonts/KaTeX_Size1-Regular.eot);src:url(fonts/KaTeX_Size1-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Size1-Regular.woff2) format('woff2'),url(fonts/KaTeX_Size1-Regular.woff) format('woff'),url(fonts/KaTeX_Size1-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Size2;src:url(fonts/KaTeX_Size2-Regular.eot);src:url(fonts/KaTeX_Size2-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Size2-Regular.woff2) format('woff2'),url(fonts/KaTeX_Size2-Regular.woff) format('woff'),url(fonts/KaTeX_Size2-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Size3;src:url(fonts/KaTeX_Size3-Regular.eot);src:url(fonts/KaTeX_Size3-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Size3-Regular.woff2) format('woff2'),url(fonts/KaTeX_Size3-Regular.woff) format('woff'),url(fonts/KaTeX_Size3-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Size4;src:url(fonts/KaTeX_Size4-Regular.eot);src:url(fonts/KaTeX_Size4-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Size4-Regular.woff2) format('woff2'),url(fonts/KaTeX_Size4-Regular.woff) format('woff'),url(fonts/KaTeX_Size4-Regular.ttf) format('ttf');font-weight:400;font-style:normal}@font-face{font-family:KaTeX_Typewriter;src:url(fonts/KaTeX_Typewriter-Regular.eot);src:url(fonts/KaTeX_Typewriter-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Typewriter-Regular.woff2) format('woff2'),url(fonts/KaTeX_Typewriter-Regular.woff) format('woff'),url(fonts/KaTeX_Typewriter-Regular.ttf) format('ttf');font-weight:400;font-style:normal}.katex{font:400 1.21em KaTeX_Main;line-height:1.2;white-space:nowrap}.katex .base,.katex .katex-inner,.katex .strut{display:inline-block}.katex .mathit{font-family:KaTeX_Math;font-style:italic}.katex .amsrm{font-family:KaTeX_AMS}.katex .textstyle>.mord+.mop{margin-left:.16667em}.katex .textstyle>.mord+.mbin{margin-left:.22222em}.katex .textstyle>.mord+.mrel{margin-left:.27778em}.katex .textstyle>.mop+.mop,.katex .textstyle>.mop+.mord,.katex .textstyle>.mord+.minner{margin-left:.16667em}.katex .textstyle>.mop+.mrel{margin-left:.27778em}.katex .textstyle>.mop+.minner{margin-left:.16667em}.katex .textstyle>.mbin+.minner,.katex .textstyle>.mbin+.mop,.katex .textstyle>.mbin+.mopen,.katex .textstyle>.mbin+.mord{margin-left:.22222em}.katex .textstyle>.mrel+.minner,.katex .textstyle>.mrel+.mop,.katex .textstyle>.mrel+.mopen,.katex .textstyle>.mrel+.mord{margin-left:.27778em}.katex .textstyle>.mclose+.mop{margin-left:.16667em}.katex .textstyle>.mclose+.mbin{margin-left:.22222em}.katex .textstyle>.mclose+.mrel{margin-left:.27778em}.katex .textstyle>.mclose+.minner,.katex .textstyle>.minner+.mop,.katex .textstyle>.minner+.mord,.katex .textstyle>.mpunct+.mclose,.katex .textstyle>.mpunct+.minner,.katex .textstyle>.mpunct+.mop,.katex .textstyle>.mpunct+.mopen,.katex .textstyle>.mpunct+.mord,.katex .textstyle>.mpunct+.mpunct,.katex .textstyle>.mpunct+.mrel{margin-left:.16667em}.katex .textstyle>.minner+.mbin{margin-left:.22222em}.katex .textstyle>.minner+.mrel{margin-left:.27778em}.katex .mclose+.mop,.katex .minner+.mop,.katex .mop+.mop,.katex .mop+.mord,.katex .mord+.mop,.katex .textstyle>.minner+.minner,.katex .textstyle>.minner+.mopen,.katex .textstyle>.minner+.mpunct{margin-left:.16667em}.katex .reset-textstyle.textstyle{font-size:1em}.katex .reset-textstyle.scriptstyle{font-size:.7em}.katex .reset-textstyle.scriptscriptstyle{font-size:.5em}.katex .reset-scriptstyle.textstyle{font-size:1.42857em}.katex .reset-scriptstyle.scriptstyle{font-size:1em}.katex .reset-scriptstyle.scriptscriptstyle{font-size:.71429em}.katex .reset-scriptscriptstyle.textstyle{font-size:2em}.katex .reset-scriptscriptstyle.scriptstyle{font-size:1.4em}.katex .reset-scriptscriptstyle.scriptscriptstyle{font-size:1em}.katex .style-wrap{position:relative}.katex .vlist{display:inline-block}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist .baseline-fix{display:inline-table;table-layout:fixed}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{width:100%}.katex .mfrac .frac-line:before{border-bottom-style:solid;border-bottom-width:1px;content:"";display:block}.katex .mfrac .frac-line:after{border-bottom-style:solid;border-bottom-width:.04em;content:"";display:block;margin-top:-1px}.katex .mspace{display:inline-block}.katex .mspace.negativethinspace{margin-left:-.16667em}.katex .mspace.thinspace{width:.16667em}.katex .mspace.mediumspace{width:.22222em}.katex .mspace.thickspace{width:.27778em}.katex .mspace.enspace{width:.5em}.katex .mspace.quad{width:1em}.katex .mspace.qquad{width:2em}.katex .llap,.katex .rlap{width:0;position:relative}.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .rlap>.inner{left:0}.katex .katex-logo .a{font-size:.75em;margin-left:-.32em;position:relative;top:-.2em}.katex .katex-logo .t{margin-left:-.23em}.katex .katex-logo .e{margin-left:-.1667em;position:relative;top:.2155em}.katex .katex-logo .x{margin-left:-.125em}.katex .rule{display:inline-block;border-style:solid;position:relative}.katex .overline .overline-line{width:100%}.katex .overline .overline-line:before{border-bottom-style:solid;border-bottom-width:1px;content:"";display:block}.katex .overline .overline-line:after{border-bottom-style:solid;border-bottom-width:.04em;content:"";display:block;margin-top:-1px}.katex .sqrt>.sqrt-sign{position:relative}.katex .sqrt .sqrt-line{width:100%}.katex .sqrt .sqrt-line:before{border-bottom-style:solid;border-bottom-width:1px;content:"";display:block}.katex .sqrt .sqrt-line:after{border-bottom-style:solid;border-bottom-width:.04em;content:"";display:block;margin-top:-1px}.katex .fontsize-ensurer,.katex .sizing{display:inline-block}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:2em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:3.46em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:4.14em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.98em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.71428571em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.14285714em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.28571429em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.42857143em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.71428571em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2.05714286em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.47142857em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.95714286em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.55714286em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.875em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.125em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.25em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.5em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.8em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.1625em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.5875em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:3.1125em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.55555556em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.77777778em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.88888889em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.11111111em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.6em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.92222222em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.3em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.76666667em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.7em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.8em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.9em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.2em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.44em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.73em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:2.07em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.49em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.41666667em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.58333333em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.66666667em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.75em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.83333333em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44166667em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.725em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.075em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.34722222em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.48611111em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.55555556em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.625em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.69444444em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.83333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.20138889em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.4375em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72916667em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.28901734em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.40462428em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.46242775em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.52023121em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.57803468em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.69364162em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.83236994em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.19653179em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.43930636em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.24154589em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.33816425em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.38647343em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.43478261em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.48309179em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.57971014em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.69565217em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.83574879em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20289855em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.20080321em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2811245em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.32128514em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.36144578em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.40160643em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48192771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.57831325em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.69477912em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8313253em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist>span,.katex .op-limits>.vlist>span{text-align:center}.katex .accent .accent-body>span{width:0}.katex .accent .accent-body.accent-vec>span{position:relative;left:.326em}
diff --git a/static/pseudocode.css b/static/pseudocode.css
index af94c9c2a6e824122356999fa37395e63b37c139..5a8e7a617c09411268fd9810ff9f8b64d89d4b40 100644
--- a/static/pseudocode.css
+++ b/static/pseudocode.css
@@ -1,5 +1,21 @@
+
+@font-face{
+    font-family:KaTeX_Typewriter_Replace;
+    src:url(fonts/KaTeX_Typewriter-Regular.eot);
+    src:url(fonts/KaTeX_Typewriter-Regular.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_Typewriter-Regular.woff2) format('woff2'),url(fonts/KaTeX_Typewriter-Regular.woff) format('woff'),url(fonts/KaTeX_Typewriter-Regular.ttf) format('ttf');
+    font-weight:400;font-style:normal
+}
+
+@font-face{
+    font-family:KaTeX_SansSerif_Replace;
+    src:url(fonts/KaTeX_SansSerif-Bold.eot);
+    src:url(fonts/KaTeX_SansSerif-Bold.eot#iefix) format('embedded-opentype'),url(fonts/KaTeX_SansSerif-Bold.woff2) format('woff2'),url(fonts/KaTeX_SansSerif-Bold.woff) format('woff'),url(fonts/KaTeX_SansSerif-Bold.ttf) format('ttf');
+    font-weight:700;
+    font-style:normal
+}
+
 .ps-root {
-    font-family: KaTeX_Main;
+    font-family: KaTeX_Main, 'Times New Roman', Times, serif;
     font-size: 1em;
     font-weight: 100;
     -webkit-font-smoothing: antialiased !important;
@@ -22,21 +38,21 @@
     line-height: 1.2;
 }
 .ps-root .ps-funcname {
-    font-family: serif;
+    font-family: KaTeX_Main, 'Times New Roman', Times, serif;
     font-weight: normal;
     font-variant: small-caps;
     font-style: normal;
     text-transform: none;
 }
 .ps-root .ps-keyword {
-    font-family: KaTeX_Main;
+    font-family: KaTeX_Main, 'Times New Roman', Times, serif;
     font-weight: bold;
     font-variant: normal;
     font-style: normal;
     text-transform: none;
 }
 .ps-root .ps-comment {
-    font-family: KaTeX_Main;
+    font-family: KaTeX_Main, 'Times New Roman', Times, serif;
     font-weight: normal;
     font-variant: normal;
     font-style: normal;
diff --git a/static/test-suite.html b/static/test-suite.html
index c2accb9cb8e24091183f334b2ca63a6b124b8f8c..a32d98b5b5ebb80caf9b4a96a30712f8d71c2fee 100644
--- a/static/test-suite.html
+++ b/static/test-suite.html
@@ -2,7 +2,9 @@
 <html>
 <head>
     <meta charset="utf-8">
+    <link rel="stylesheet" href="../build/katex/katex.min.css" type="text/css">
     <link rel="stylesheet" href="../build/pseudocode.css" type="text/css">
+    <script src="../build/katex/katex.min.js" type="text/javascript"></script>
     <script src="../build/pseudocode.js" type="text/javascript"></script>
     <title>Test suite of PseudoCode.js</title>
 </head>
@@ -14,7 +16,7 @@
         \PROCEDURE{Test-Declarations}{}
             \STATE font families: {\sffamily sffamily, \ttfamily ttfamily, \normalfont normalfont, \rmfamily rmfamily.}
             \STATE font weights: {normal weight, \bfseries bold, \mdseries 
-            medium, \lfseries lighter. }after braces
+            medium, \lfseries lighter. }
             \STATE font shapes: {\itshape itshape \scshape Small-Caps \slshape slshape \upshape upshape.}
             \STATE font sizings:  \tiny tiny \scriptsize scriptsize \footnotesize
             footnotesize \small small \normalsize normal \large large \Large Large
@@ -82,7 +84,7 @@
         \caption{Test statements and comments}
         \begin{algorithmic}
         \PROCEDURE{Test-Statements}{}
-            \STATE this is a normal statement
+            \STATE This is a normal statement
             \PRINT \texttt{`this is print statement'}
             \RETURN $retval$        
         \ENDPROCEDURE