You are reading a single comment by @Gordon and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Gordon
It's actually not - pretty much every page is static, but is just served up with PHP that sticks a header and footer on it... It's all relatively speedy.
The reference page is created with this Python script. Ideally I'd swap it all over to JS though as the python is getting nasty very quickly :)
Still, if you want to add extra things (links to the top/etc) then PRs are welcome :) It might even be easier (and would save a lot of bytes) to add a
<script>tag to the top which would scan over headings and then add links to the top on the client.