Use modified standard CSS for Javadoc. Fixes #604.