summaryrefslogtreecommitdiff
path: root/projects/wsdiff/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'projects/wsdiff/index.html')
-rw-r--r--projects/wsdiff/index.html12
1 files changed, 10 insertions, 2 deletions
diff --git a/projects/wsdiff/index.html b/projects/wsdiff/index.html
index 53c3c5a..8ae2de2 100644
--- a/projects/wsdiff/index.html
+++ b/projects/wsdiff/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>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/wsdiff.git">Sources</a>
<a href="https://github.com/jaseg/wsdiff/issues">Issues</a>
@@ -93,13 +96,18 @@ on available screen space.</p>
/ <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>