doc.mustache in jazzy-0.13.2

- old
+ new

@@ -2,12 +2,18 @@
 <html lang="en">
   <head>
     <title>{{name}} {{kind}} Reference</title>
     <link rel="stylesheet" type="text/css" href="{{path_to_root}}css/jazzy.css" />
     <link rel="stylesheet" type="text/css" href="{{path_to_root}}css/highlight.css" />
+    {{#enable_katex}}
+    <link rel="stylesheet" type="text/css" href="{{path_to_root}}css/katex.min.css" />
+    {{/enable_katex}}
     <meta charset='utf-8'>
 	<meta name="viewport" content="width=device-width, viewport-fit=cover, initial-scale=1.0" />
     <script src="{{path_to_root}}js/jquery.min.js" defer></script>
+    {{#enable_katex}}
+    <script src="{{path_to_root}}js/katex.min.js" defer></script>
+    {{/enable_katex}}
     <script src="{{path_to_root}}js/jazzy.js" defer></script>
     {{{custom_head}}}
   </head>
   <body>
     {{#dash_type}}