r00ster91 ee72868f92 style: format ...

This is mostly manually formatted. I couldn't find a good HTML formatter for this file.
It also converts a bunch of tabs to spaces.

2022-08-06 15:34:00 +02:00

..

index.html

style: format

2022-08-06 15:34:00 +02:00

main.js

fix: disable search bar before loading

2022-08-06 15:16:27 +02:00