> Please review an enhancement to the other specifications and tool guides (man > pages) that adds the following features: > > - Support for light and dark themes > - Permalinks for headings on hover > - Responsive layout for wide screens and mobile devices > > Generated documentation [can be viewed > here](https://cr.openjdk.org/~hannesw/8377548/docs.00/specs/index.html). > > The implementation for the new features is shared with API documentation, > which was refactored to make it easier to apply in specs and man pages, which > use a variety of build mechanisms. Instead of hard-coding the theme selector > markup everywhere it is needed as we did before, the `initTheme()` function > now creates the whole UI. This has the added benefit that no disfunctional > theme selector button is generated if theme support is not loaded for some > reason. The `initTheme()` function also encapsulates the whole theme > functionality, whereas before it was intermingled with other code. > > The JVM Tool Interface specification does not participate in the new features > because it uses inline styles that are not compatible with themes, and > permalink conventions for headings that are not recognized by the script. I > can file a bug for this if it is considered a serious enough issue. > > --------- > - [x] I confirm that I make this contribution in accordance with the [OpenJDK > Interim AI Policy](https://openjdk.org/legal/ai).
Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision: Use same dark theme colors as API docs ------------- Changes: - all: https://git.openjdk.org/jdk/pull/33127/files - new: https://git.openjdk.org/jdk/pull/33127/files/73612735..af9fda44 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=33127&range=06 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=33127&range=05-06 Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod Patch: https://git.openjdk.org/jdk/pull/33127.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/33127/head:pull/33127 PR: https://git.openjdk.org/jdk/pull/33127
