diff options
Diffstat (limited to 'posts/index.html')
| -rw-r--r-- | posts/index.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/posts/index.html b/posts/index.html index 43aabb4..8ec53bf 100644 --- a/posts/index.html +++ b/posts/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> |