diff options
Diffstat (limited to 'projects/wsdiff/index.html')
| -rw-r--r-- | projects/wsdiff/index.html | 12 |
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> |