Fix the pygments deprecation
Restyle the website. Move the javascript code to a separate file.