Update JavaDoc stylesheet when building with Java 7

Description

With JDK 7, the generated HTML output for JavaDocs uses different CSS classes. In case we want to build with JDK 7, we have to update our custom stylesheet (src/main/javadoc/stylesheet.css).

Environment

None

Assignee

Hardy Ferentschik

Reporter

Gunnar Morling

Labels

None

Feedback Requested

None

Feedback Requested By

None

backPortable

None

Suitable for new contributors

None

Pull Request

None

backportDecision

None

backportReEvaluate

None

Components

Fix versions

Affects versions

Priority

Major
Configure