The website's code is here https://github.com/joker-lang/joker-lang.github.io. I'll add the link to the docs, thanks! (or feel free to send a PR if you feel like it).