These CSS overrides should be placed in docs.css.