updated site

docs/pandoc/script.js

@@ -4,15 +4,16 @@ addEventListener('DOMContentLoaded', () => {
   document.querySelectorAll('nav a').forEach((el) => {
     const url = new URL(el.href);
     const fullurl = url.origin + url.pathname.replace(/\/$/, "");
-    console.log("fullurl", fullurl);
-    console.log("fullpath", fullpath);
-    console.log("locationpathname", location.pathname);
-    console.log("urlpathname", url.pathname);
     const onHome = fullpath === location.origin
     const urlIsHome = fullurl === location.origin
-    console.log("onhome", onHome);
-    console.log("urlIsHome", urlIsHome);
-    console.log("")
+
+    //console.log("fullurl", fullurl);
+    //console.log("fullpath", fullpath);
+    //console.log("locationpathname", location.pathname);
+    //console.log("urlpathname", url.pathname);
+    //console.log("onhome", onHome);
+    //console.log("urlIsHome", urlIsHome);
+    //console.log("")
 
     if (onHome && fullurl === fullpath) {
       el.classList.add('active');

docs/pandoc/template.html

@@ -5,6 +5,19 @@
     <meta charset="utf-8" />
     <meta name="generator" content="pandoc" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
+
+    <!-- Favicons -->
+        <!-- For all browsers -->
+        <link rel="icon" type="image/png" sizes="32x32" href="/docs/img/favicons/32x32.png">
+        <link rel="icon" type="image/png" sizes="16x16" href="/docs/img/favicons/16x16.png">
+        <!-- For Google and Android -->
+        <link rel="icon" type="image/png" sizes="48x48" href="/docs/img/favicons/48x48.png">
+        <link rel="icon" type="image/png" sizes="192x192" href="/docs/img/favicons/192x192.png">
+        <!-- For iPad -->
+        <link rel="apple-touch-icon" type="image/png" sizes="167x167" href="/docs/img/favicons/167x167.png">
+        <!-- For iPhone -->
+        <link rel="apple-touch-icon" type="image/png" sizes="180x180" href="/docs/img/favicons/180x180.png">
+
     $for(author-meta)$
     <meta name="author" content="$author-meta$" />
     $endfor$