Integrated: JDK-8267853: Remove unused styles from stylesheet

Tue Oct 5 17:00:14 UTC 2021

On Tue, 21 Sep 2021 09:40:28 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a simple change to remove unused stylesheet classes, conveniently exposed by `CheckStylesheetClasses.java`. 
> 
> I have 1) grepped the generated documentation for the removed classes without finding any occurrences, and 2) compared the generated documentation in the browser page by page without finding any differences.

This pull request has now been integrated.

Changeset: e1f0df0d
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/e1f0df0de3b205cecdb1aa1d74562536c06097dd
Stats:     46 lines in 3 files changed: 0 ins; 39 del; 7 mod

8267853: Remove unused styles from stylesheet

Reviewed-by: prappo

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

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