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

[Jonathan Gibbons]

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`.

This pull request has now been integrated.

Changeset: 07542660
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/07542660446e47164e5a402380bdf7cbfd7b37ad
Stats:     222 lines in 2 files changed: 221 ins; 0 del; 1 mod

8267709: Investigate differences between HtmlStyle and stylesheet.css

Reviewed-by: hannesw

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

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