Comment by subharmonicon

Off topic, but the typesetting here looks top notch and I am curious if anyone can elaborate on the tooling used to render this for the web?