CSS-related updates to both our developer and user documentation [ci skip].