Integrated: JDK-8292594: Use CSS custom properties for all fonts and colors

[Hannes Wallnöfer]

On Fri, 11 Nov 2022 15:17:23 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a patch to complete the conversion of the javadoc style sheet to use CSS custom properties for all colors and fonts. 
> 
> A few notes for changes that may not be self-explanatory:
> 
>  - I renamed the `--highlight` property prefix used for the active navigation/menu/tab item to `--selected` as the term "highlight" is used for other things such as snippet highlights and active search item targets.
>  - I unified the active color of  copy-to-clipboard buttons to one single value even though they appear on different backgrounds. The value works reasonably well for all uses, and can be changed with a single custom property.
>  - The stylesheet contains a rule for green line numbers in source pages created with the `-linksource` option. This is a very rarely used option so I chose to use a custom property with no defined value but a default value. This means the custom property is not contained in the list of custom property definitions in the style sheet, but it can be defined by a theme if needed.
>  - I removed CSS selectors that are either illegal under HTML 5 such as a[name] or unused.
>  
> This change does not affect the appearance of the generated documentation in the browser. I can provide before/after output including different themes if needed.

This pull request has now been integrated.

Changeset: 361b50e7
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/361b50e724f8c1177f89eaa93e38b69d244dadee
Stats:     83 lines in 2 files changed: 23 ins; 27 del; 33 mod

8292594: Use CSS custom properties for all fonts and colors

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk/pull/11109