diff --git a/Cargo.lock b/Cargo.lock
index 75c3df4..8a779ad 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "addchain"
diff --git a/katex-header.html b/katex-header.html
index 9d8f376..1adfc76 100644
--- a/katex-header.html
+++ b/katex-header.html
@@ -1,50 +1,38 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
-
-<html>
-<head>
-  <link rel="stylesheet" href=
-  "https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.css"
-  integrity=
-  "sha384-RZU/ijkSsFbcmivfdRBQDtwuwVqK7GMOw6IMvKyeWL2K5UAlyp6WonmB8m7Jd0Hn"
+<link rel="stylesheet"
+  href="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.css"
+  integrity="sha384-RZU/ijkSsFbcmivfdRBQDtwuwVqK7GMOw6IMvKyeWL2K5UAlyp6WonmB8m7Jd0Hn"
   crossorigin="anonymous" type="text/css">
-  <script defer src=
-  "https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.js"
-  integrity=
-  "sha384-pK1WpvzWVBQiP0/GjnvRxV4mOb0oxFuyRxJlk6vVw146n3egcN5C925NCP7a7BY8"
+<script defer
+  src="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.js"
+  integrity="sha384-pK1WpvzWVBQiP0/GjnvRxV4mOb0oxFuyRxJlk6vVw146n3egcN5C925NCP7a7BY8"
   crossorigin="anonymous" type="text/javascript">
 </script>
-  <script defer src=
-  "https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/contrib/auto-render.min.js"
-  integrity=
-  "sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl"
+<script defer
+  src="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/contrib/auto-render.min.js"
+  integrity="sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl"
   crossorigin="anonymous" type="text/javascript">
 </script>
-  <script type="text/javascript">
-document.addEventListener("DOMContentLoaded", function() {
-        renderMathInElement(document.body, {
-            delimiters: [
-                {left: "$$", right: "$$", display: true},
-                {left: "\\(", right: "\\)", display: false},
-                {left: "$", right: "$", display: false},
-                {left: "\\[", right: "\\]", display: true}
-            ],
-            macros: {
-                "\\Zq": "\\mathbb{Z}_q",
-                "\\G": "\\mathbb{G}",
-                "\\T": "\\mathbb{T}",
-                "\\O": "\\mathcal{O}",
-                "\\P": "\\mathcal{P}",
-                "\\V": "\\mathcal{V}",
-                "\\H": "\\mathcal{H}",
-                "\\?": "\\stackrel{?}{=}",
-            },
-        });
-    });
-  </script>
 
-  <title></title>
-</head>
+<script type="text/javascript">
+  document.addEventListener("DOMContentLoaded", function() {
+    renderMathInElement(document.body, {
+        delimiters: [
+            {left: "$$", right: "$$", display: true},
+            {left: "\\(", right: "\\)", display: false},
+            {left: "$", right: "$", display: false},
+            {left: "\\[", right: "\\]", display: true}
+        ],
+        macros: {
+            "\\Zq": "\\mathbb{Z}_q",
+            "\\G": "\\mathbb{G}",
+            "\\T": "\\mathbb{T}",
+            "\\O": "\\mathcal{O}",
+            "\\P": "\\mathcal{P}",
+            "\\V": "\\mathcal{V}",
+            "\\H": "\\mathcal{H}",
+            "\\?": "\\stackrel{?}{=}",
+        },
+    });
+  });
+</script>
 
-<body>
-</body>
-</html>
