Better-looking CSS for Vaadin API Javadocs (#13219)

Change-Id: I52fd843b839830cefe330c9c9cf94b59db0928af