attempts to improve site speed and avoid constant reloading

Author: floriankozikowski

doc/_static/images/landingpage/compatible.webp

@@ -0,0 +1,14 @@
+/*! instant.page v5.1.0 - (C) 2019 Alexandre Dieulot - https://instant.page/license */
+document.addEventListener("DOMContentLoaded", function () {
+    const supportsPrefetch = document.createElement("link").relList.supports("prefetch");
+    if (!supportsPrefetch) return;
+    const links = document.querySelectorAll("a[href]");
+    links.forEach(link => {
+        link.addEventListener("mouseover", () => {
+            const prefetch = document.createElement("link");
+            prefetch.rel = "prefetch";
+            prefetch.href = link.href;
+            document.head.appendChild(prefetch);
+        });
+    });
+});