1
0
Fork 0
forked from fun/fun

Some cleanups. Added download page to ./web/. No code changes. (0.40.5)

This commit is contained in:
Johannes Findeisen 2026-04-19 00:38:06 +02:00
commit d2f673bf24
33 changed files with 34 additions and 1194 deletions

View file

@ -6,18 +6,12 @@
<div class="trigger">
<h2 style="display:none;">Navigation</h2>
<ul style="list-style: none;">
<li><a class="page-link" href="/" style="text-decoration:none;" title="/">/</a></li>
<li><a class="page-link" href="/about/" style="text-decoration:none;" title="/about/">/about/</a></li>
<li><a class="page-link" href="/community/" style="text-decoration:none;" title="/community/">/community/</a></li>
<li><a class="page-link" href="/contact/" style="text-decoration:none;" title="/contact/">/contact/</a></li>
<!--<li><a class="page-link" href="/development/" style="text-decoration:none;" title="/development/">/development/</a></li>-->
<li><a class="page-link" href="/documentation/" style="text-decoration:none;" title="/documentation/">/documentation/</a></li>
<!--<li><a class="page-link" href="/examples/" style="text-decoration:none;" title="/examples/">/examples/</a></li>-->
<!--<li><a class="page-link" href="/faq/" style="text-decoration:none;" title="/faq/">/faq/</a></li>-->
<!--
<li>----------------</li>
<li><a class="page-link" href="/account/" style="text-decoration:none;" title="/account/">/account/</a></li>
-->
<li><a class="page-link" href="/" style="text-decoration:none;" title="Homepage">/</a></li>
<li><a class="page-link" href="/about/" style="text-decoration:none;" title="About">About</a></li>
<li><a class="page-link" href="/community/" style="text-decoration:none;" title="Community">Community</a></li>
<li><a class="page-link" href="/contact/" style="text-decoration:none;" title="Contact">Contact</a></li>
<li><a class="page-link" href="/documentation/" style="text-decoration:none;" title="Documentation">Documentation</a></li>
<li><a class="page-link" href="/download/" style="text-decoration:none;" title="Download">Download</a></li>
<!--
https://www.w3schools.com/howto/howto_js_toggle_dark_mode.asp
https://dev.to/warish/how-to-create-a-dark-mode-toggle-with-html-css-and-javascript-378m