WEB fix css for new version of sphinx.

Fixes #3876.
yeah, makes more sense