diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -37,6 +37,11 @@ <link href="css/bootstrap.min.css" rel="stylesheet"> <link href="css/bootstrap-theme.min.css" rel="stylesheet"> <link rel="stylesheet" href="css/ladda-themeless.css"> + <!-- KaTeX --> + <link rel="stylesheet" href="css/katex-0.6.0.min.css"> + <style> + .katex { font-size: 1.1em !important; } + </style> <!-- App --> <link rel="stylesheet" href="css/codeq.css" type="text/css"> <link rel="stylesheet" href="css/codeq/console.css" type="text/css"> @@ -526,6 +531,8 @@ <script src="js/ladda/spin.js"></script> <script src="js/ladda/ladda.js"></script> <script src="js/ladda/ladda.jquery.js"></script> + <!-- math rendering --> + <script src="js/katex-0.6.0.min.js"></script> <!-- CodeMirror stuff --> <script src="js/codemirror/codemirror.js"></script> <script src="js/codemirror/matchbrackets.js"></script> |