RFR: JDK-8267709: Investigate differences between HtmlStyle and stylesheet.css

[Hannes Wallnöfer]

On Tue, 25 May 2021 19:10:44 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a new test to track the differences between `HtmlStyle.java` and `stylesheet.css`.
> 
> The test passes, because all discrepancies are noted within the test. However, some of the discrepancies may indicate the need for follow-up work, such as adding new items to `HtmlStyle` for documentation purposes, or removing unused code in the main `stylesheet.css` file.
> 
> There is also a minor/trivial change to fix a copy-paste error in a comment in `HtmlStyle`.

The new test looks good, apart from the question whether we should remove unused styles now, later, or not at all.

-------------

Marked as reviewed by hannesw (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/4195