navToggle improvements
Pretty print remotely fetched HTML
Colour tweaks to Pygments github.css
Stand-alone link icon tweaks