Rename everything to KaTeX

Summary: Rename all instances of mjlite -> katex

Test Plan: Run the local server, make sure things still work.

Reviewers: alpert

Reviewed By: alpert

Differential Revision: http://phabricator.khanacademy.org/D2977

.arcconfig

@@ -1,4 +1,4 @@
 {
-    "project_id": "MJLite",
-    "conduit_uri": "http://phabricator.benalpert.com/"
+    "project_id": "KaTeX",
+    "conduit_uri": "http://phabricator.khanacademy.org/"
 }

Makefile

@@ -1,12 +1,12 @@
 .PHONY: build copy serve clean
-build: build/MJLite.js
+build: build/katex.js
 
-build/MJLite.js: MJLite.js parser.jison lexer.js
-	./node_modules/.bin/browserify $< --standalone MJLite -t ./jisonify > $@
+build/katex.js: katex.js parser.jison lexer.js
+	./node_modules/.bin/browserify $< --standalone katex -t ./jisonify > $@
 
 copy: build
-	cp build/MJLite.js ../exercises/utils/MJLite.js
-	cp static/mjlite.css ../exercises/css/
+	cp build/katex.js ../exercises/utils/katex.js
+	cp static/katex.css ../exercises/css/
 	cp -R static/fonts ../exercises/css/
 
 serve:

package.json

@@ -1,5 +1,5 @@
 {
-    "name": "mjlite",
+    "name": "katex",
     "version": "0.0.1",
     "devDependencies": {
         "browserify": "~2.23.1",

server.js

@@ -9,12 +9,12 @@ var app = express();
 
 app.use(express.logger());
 
-app.get("/MJLite.js", function(req, res, next) {
+app.get("/katex.js", function(req, res, next) {
     var b = browserify();
-    b.add("./MJLite");
+    b.add("./katex");
     b.transform(jisonify);
 
-    var stream = b.bundle({standalone: "MJLite"});
+    var stream = b.bundle({standalone: "katex"});
 
     var body = "";
     stream.on("data", function(s) { body += s; });

static/fonts/fonts.css

@@ -1,239 +1,239 @@
 @font-face {
-    font-family: 'mjlite_ams';
-    src: url('mjlite_ams-regular.eot');
-    src: url('mjlite_ams-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_ams-regular.woff') format('woff'),
-         url('mjlite_ams-regular.ttf') format('truetype');
+    font-family: 'katex_ams';
+    src: url('katex_ams-regular.eot');
+    src: url('katex_ams-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_ams-regular.woff') format('woff'),
+         url('katex_ams-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_caligraphic';
-    src: url('mjlite_caligraphic-bold.eot');
-    src: url('mjlite_caligraphic-bold.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_caligraphic-bold.woff') format('woff'),
-         url('mjlite_caligraphic-bold.ttf') format('truetype');
+    font-family: 'katex_caligraphic';
+    src: url('katex_caligraphic-bold.eot');
+    src: url('katex_caligraphic-bold.eot?#iefix') format('embedded-opentype'),
+         url('katex_caligraphic-bold.woff') format('woff'),
+         url('katex_caligraphic-bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_caligraphic';
-    src: url('mjlite_caligraphic-regular.eot');
-    src: url('mjlite_caligraphic-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_caligraphic-regular.woff') format('woff'),
-         url('mjlite_caligraphic-regular.ttf') format('truetype');
+    font-family: 'katex_caligraphic';
+    src: url('katex_caligraphic-regular.eot');
+    src: url('katex_caligraphic-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_caligraphic-regular.woff') format('woff'),
+         url('katex_caligraphic-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_fraktur';
-    src: url('mjlite_fraktur-bold.eot');
-    src: url('mjlite_fraktur-bold.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_fraktur-bold.woff') format('woff'),
-         url('mjlite_fraktur-bold.ttf') format('truetype');
+    font-family: 'katex_fraktur';
+    src: url('katex_fraktur-bold.eot');
+    src: url('katex_fraktur-bold.eot?#iefix') format('embedded-opentype'),
+         url('katex_fraktur-bold.woff') format('woff'),
+         url('katex_fraktur-bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_fraktur';
-    src: url('mjlite_fraktur-regular.eot');
-    src: url('mjlite_fraktur-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_fraktur-regular.woff') format('woff'),
-         url('mjlite_fraktur-regular.ttf') format('truetype');
+    font-family: 'katex_fraktur';
+    src: url('katex_fraktur-regular.eot');
+    src: url('katex_fraktur-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_fraktur-regular.woff') format('woff'),
+         url('katex_fraktur-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_greek';
-    src: url('mjlite_greek-bold.eot');
-    src: url('mjlite_greek-bold.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_greek-bold.woff') format('woff'),
-         url('mjlite_greek-bold.ttf') format('truetype');
+    font-family: 'katex_greek';
+    src: url('katex_greek-bold.eot');
+    src: url('katex_greek-bold.eot?#iefix') format('embedded-opentype'),
+         url('katex_greek-bold.woff') format('woff'),
+         url('katex_greek-bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_greek';
-    src: url('mjlite_greek-bolditalic.eot');
-    src: url('mjlite_greek-bolditalic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_greek-bolditalic.woff') format('woff'),
-         url('mjlite_greek-bolditalic.ttf') format('truetype');
+    font-family: 'katex_greek';
+    src: url('katex_greek-bolditalic.eot');
+    src: url('katex_greek-bolditalic.eot?#iefix') format('embedded-opentype'),
+         url('katex_greek-bolditalic.woff') format('woff'),
+         url('katex_greek-bolditalic.ttf') format('truetype');
     font-weight: bold;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_greek';
-    src: url('mjlite_greek-italic.eot');
-    src: url('mjlite_greek-italic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_greek-italic.woff') format('woff'),
-         url('mjlite_greek-italic.ttf') format('truetype');
+    font-family: 'katex_greek';
+    src: url('katex_greek-italic.eot');
+    src: url('katex_greek-italic.eot?#iefix') format('embedded-opentype'),
+         url('katex_greek-italic.woff') format('woff'),
+         url('katex_greek-italic.ttf') format('truetype');
     font-weight: normal;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_greek';
-    src: url('mjlite_greek-regular.eot');
-    src: url('mjlite_greek-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_greek-regular.woff') format('woff'),
-         url('mjlite_greek-regular.ttf') format('truetype');
+    font-family: 'katex_greek';
+    src: url('katex_greek-regular.eot');
+    src: url('katex_greek-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_greek-regular.woff') format('woff'),
+         url('katex_greek-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_main';
-    src: url('mjlite_main-bold.eot');
-    src: url('mjlite_main-bold.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_main-bold.woff') format('woff'),
-         url('mjlite_main-bold.ttf') format('truetype');
+    font-family: 'katex_main';
+    src: url('katex_main-bold.eot');
+    src: url('katex_main-bold.eot?#iefix') format('embedded-opentype'),
+         url('katex_main-bold.woff') format('woff'),
+         url('katex_main-bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_main';
-    src: url('mjlite_main-italic.eot');
-    src: url('mjlite_main-italic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_main-italic.woff') format('woff'),
-         url('mjlite_main-italic.ttf') format('truetype');
+    font-family: 'katex_main';
+    src: url('katex_main-italic.eot');
+    src: url('katex_main-italic.eot?#iefix') format('embedded-opentype'),
+         url('katex_main-italic.woff') format('woff'),
+         url('katex_main-italic.ttf') format('truetype');
     font-weight: normal;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_main';
-    src: url('mjlite_main-regular.eot');
-    src: url('mjlite_main-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_main-regular.woff') format('woff'),
-         url('mjlite_main-regular.ttf') format('truetype');
+    font-family: 'katex_main';
+    src: url('katex_main-regular.eot');
+    src: url('katex_main-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_main-regular.woff') format('woff'),
+         url('katex_main-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_math';
-    src: url('mjlite_math-bolditalic.eot');
-    src: url('mjlite_math-bolditalic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_math-bolditalic.woff') format('woff'),
-         url('mjlite_math-bolditalic.ttf') format('truetype');
+    font-family: 'katex_math';
+    src: url('katex_math-bolditalic.eot');
+    src: url('katex_math-bolditalic.eot?#iefix') format('embedded-opentype'),
+         url('katex_math-bolditalic.woff') format('woff'),
+         url('katex_math-bolditalic.ttf') format('truetype');
     font-weight: bold;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_math';
-    src: url('mjlite_math-italic.eot');
-    src: url('mjlite_math-italic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_math-italic.woff') format('woff'),
-         url('mjlite_math-italic.ttf') format('truetype');
+    font-family: 'katex_math';
+    src: url('katex_math-italic.eot');
+    src: url('katex_math-italic.eot?#iefix') format('embedded-opentype'),
+         url('katex_math-italic.woff') format('woff'),
+         url('katex_math-italic.ttf') format('truetype');
     font-weight: normal;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_math';
-    src: url('mjlite_math-regular.eot');
-    src: url('mjlite_math-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_math-regular.woff') format('woff'),
-         url('mjlite_math-regular.ttf') format('truetype');
+    font-family: 'katex_math';
+    src: url('katex_math-regular.eot');
+    src: url('katex_math-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_math-regular.woff') format('woff'),
+         url('katex_math-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_sansserif';
-    src: url('mjlite_sansserif-bold.eot');
-    src: url('mjlite_sansserif-bold.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_sansserif-bold.woff') format('woff'),
-         url('mjlite_sansserif-bold.ttf') format('truetype');
+    font-family: 'katex_sansserif';
+    src: url('katex_sansserif-bold.eot');
+    src: url('katex_sansserif-bold.eot?#iefix') format('embedded-opentype'),
+         url('katex_sansserif-bold.woff') format('woff'),
+         url('katex_sansserif-bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_sansserif';
-    src: url('mjlite_sansserif-italic.eot');
-    src: url('mjlite_sansserif-italic.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_sansserif-italic.woff') format('woff'),
-         url('mjlite_sansserif-italic.ttf') format('truetype');
+    font-family: 'katex_sansserif';
+    src: url('katex_sansserif-italic.eot');
+    src: url('katex_sansserif-italic.eot?#iefix') format('embedded-opentype'),
+         url('katex_sansserif-italic.woff') format('woff'),
+         url('katex_sansserif-italic.ttf') format('truetype');
     font-weight: normal;
     font-style: italic;
 }
 
 @font-face {
-    font-family: 'mjlite_sansserif';
-    src: url('mjlite_sansserif-regular.eot');
-    src: url('mjlite_sansserif-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_sansserif-regular.woff') format('woff'),
-         url('mjlite_sansserif-regular.ttf') format('truetype');
+    font-family: 'katex_sansserif';
+    src: url('katex_sansserif-regular.eot');
+    src: url('katex_sansserif-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_sansserif-regular.woff') format('woff'),
+         url('katex_sansserif-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_script';
-    src: url('mjlite_script-regular.eot');
-    src: url('mjlite_script-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_script-regular.woff') format('woff'),
-         url('mjlite_script-regular.ttf') format('truetype');
+    font-family: 'katex_script';
+    src: url('katex_script-regular.eot');
+    src: url('katex_script-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_script-regular.woff') format('woff'),
+         url('katex_script-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_size1';
-    src: url('mjlite_size1-regular.eot');
-    src: url('mjlite_size1-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_size1-regular.woff') format('woff'),
-         url('mjlite_size1-regular.ttf') format('truetype');
+    font-family: 'katex_size1';
+    src: url('katex_size1-regular.eot');
+    src: url('katex_size1-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_size1-regular.woff') format('woff'),
+         url('katex_size1-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_size2';
-    src: url('mjlite_size2-regular.eot');
-    src: url('mjlite_size2-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_size2-regular.woff') format('woff'),
-         url('mjlite_size2-regular.ttf') format('truetype');
+    font-family: 'katex_size2';
+    src: url('katex_size2-regular.eot');
+    src: url('katex_size2-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_size2-regular.woff') format('woff'),
+         url('katex_size2-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_size3';
-    src: url('mjlite_size3-regular.eot');
-    src: url('mjlite_size3-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_size3-regular.woff') format('woff'),
-         url('mjlite_size3-regular.ttf') format('truetype');
+    font-family: 'katex_size3';
+    src: url('katex_size3-regular.eot');
+    src: url('katex_size3-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_size3-regular.woff') format('woff'),
+         url('katex_size3-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_size4';
-    src: url('mjlite_size4-regular.eot');
-    src: url('mjlite_size4-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_size4-regular.woff') format('woff'),
-         url('mjlite_size4-regular.ttf') format('truetype');
+    font-family: 'katex_size4';
+    src: url('katex_size4-regular.eot');
+    src: url('katex_size4-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_size4-regular.woff') format('woff'),
+         url('katex_size4-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 
 @font-face {
-    font-family: 'mjlite_typewriter';
-    src: url('mjlite_typewriter-regular.eot');
-    src: url('mjlite_typewriter-regular.eot?#iefix') format('embedded-opentype'),
-         url('mjlite_typewriter-regular.woff') format('woff'),
-         url('mjlite_typewriter-regular.ttf') format('truetype');
+    font-family: 'katex_typewriter';
+    src: url('katex_typewriter-regular.eot');
+    src: url('katex_typewriter-regular.eot?#iefix') format('embedded-opentype'),
+         url('katex_typewriter-regular.woff') format('woff'),
+         url('katex_typewriter-regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }

static/index.html

@@ -1,11 +1,11 @@
 <!doctype html>
 <html>
     <head>
-        <title>MJLite Test</title>
+        <title>KaTeX Test</title>
         <script src="//cdnjs.cloudflare.com/ajax/libs/underscore.js/1.4.4/underscore-min.js" type="text/javascript"></script>
-        <script src="MJLite.js" type="text/javascript"></script>
+        <script src="katex.js" type="text/javascript"></script>
         <script src="main.js" type="text/javascript"></script>
-        <link href="mjlite.css" rel="stylesheet" type="text/css">
+        <link href="katex.css" rel="stylesheet" type="text/css">
         <link href="main.css" rel="stylesheet" type="text/css">
     </head>
     <body>

static/katex.css

@@ -15,12 +15,12 @@ big parens
 */
 
 .mathmathmath {
-    font: normal 1.21em mjlite_main;
+    font: normal 1.21em katex_main;
     line-height: 1.4;
 }
 
 .mathit {
-    font-family: mjlite_math;
+    font-family: katex_math;
     font-style: italic;
 }
 

static/main.js

@@ -11,6 +11,6 @@ window.onload = function() {
     }
 
     function reprocess() {
-        MJLite.process(input.value, math);
+        katex.process(input.value, math);
     }
 };