CSS-related update to our documentation [ci skip].