Improved HTML integration of the integrator cheat sheet