diff options
Diffstat (limited to 'about/index.html')
| -rw-r--r-- | about/index.html | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/about/index.html b/about/index.html index ada859e..470a7a9 100644 --- a/about/index.html +++ b/about/index.html @@ -16,6 +16,9 @@ <a href="/projects/" title="Projects">Projects</a> <a href="/about/" title="About" class="active">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> @@ -31,7 +34,7 @@ </ul> </header> - <main> + <main data-pagefind-body> <div class="document"> @@ -86,13 +89,18 @@ that's used in the background of this site is by <a class="reference external" h / <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> |