summaryrefslogtreecommitdiff
path: root/categories/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'categories/index.html')
-rw-r--r--categories/index.html10
1 files changed, 9 insertions, 1 deletions
diff --git a/categories/index.html b/categories/index.html
index c49ae1e..27efc15 100644
--- a/categories/index.html
+++ b/categories/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -37,13 +40,18 @@
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>