diff --git a/website/pages/index.html b/website/pages/index.html index 6abf1d07..02a493d0 100644 --- a/website/pages/index.html +++ b/website/pages/index.html @@ -163,6 +163,16 @@ + + + + + + diff --git a/website/static/js/index.js b/website/static/js/index.js index e0773820..e598c0a8 100644 --- a/website/static/js/index.js +++ b/website/static/js/index.js @@ -48,7 +48,7 @@ window.WebFontConfig = { } var katexOptions = ["displayMode", "leqno", "fleqn", "throwOnError", - "errorColor", "strict", "trust", "macros"].map(function(id) { + "errorColor", "strict", "output", "trust", "macros"].map(function(id) { var el = document.getElementById(id); if (el.type === "checkbox") { if (typeof data[id] === "boolean" && !(id === "trust" && data[id] &&