Please review a change to simplify the implementation of CSS themes by solely relying on an attribute set by script instead of the dual script plus media queries approach. This allows us to get rid of duplicate declaration of CSS theme variables. On the downside, JavaScript must be enabled to recognize the system theme, but this is an acceptable compromise as documentation remains fully usable with JavaScript disabled. This change also makes it much easier for users to override or extend JavaDoc stylesheets.
Also included is a fix for the keyboard tab order of the theme switcher. When opening the theme switcher and hitting the tab key, focus now goes to the theme switcher and no longer goes to the first link in the breadcrumb navigation if there is one. This required moving the HTML for the theme switcher next to the theme button, which required a whole series of test changes. I considered removing the theme switcher markup from these tests, but decided against it, mostly to make sure there are no other unchecked links in the navigation bar. This fix also required reducing the `z-index` of the mobile table of contents. Another improvement related to focus handling is to close the theme switcher when it loses focus, and when the `Enter` or `Escape` keys are pressed. Also included is a small change to slightly reduce the padding of the recently introduced TOC sort button. Sample documentation [can be viewed here](https://cr.openjdk.org/~hannesw/8370612/api.00/java.base/module-summary.html). ------------- Commit messages: - 8370612: Simplify implementation of dark theme Changes: https://git.openjdk.org/jdk/pull/28085/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=28085&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8370612 Stats: 546 lines in 9 files changed: 191 ins; 285 del; 70 mod Patch: https://git.openjdk.org/jdk/pull/28085.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/28085/head:pull/28085 PR: https://git.openjdk.org/jdk/pull/28085
