> Please review a change to solve a number of issues in the HTML presentation > of the JVM Tool Interface specification that prevented it from using > JDK-level documentation features such as CSS themes and heading permalinks: > > - Use wrapped `<section>` elements instead of empty `<p>` elements for > section ids > - Use the CSS `light-dark()` function for colors in inline styles to support > the dark theme > - Resolve a number of unwanted interactions of the inline styles with the > `jdk-default.css` stylesheet > - Remove the need for hard-coded `<div class="sep"/>` separators by defining > proper margins > - Move `<hr>` tags between sections and don't use them for section `id` > attributes > - Solve minor whitespace issue by setting `indent="no"` on `<xsl:output>` > > The rendered `jvmti.html` file as processed by the JDK build script [can be > viewed > here](https://cr.openjdk.org/~hannesw/8393263/docs.00/specs/jvmti.html). It > now supports light and dark themes, hovering over headings shows a permalink > icon, and various rendering problems resulting from interaction with > `jdk-default.css` (especially in function/callback tables) have been fixed. > The spec is also easier to read on very wide and very small displays. > > The unprocessed version of the spec as generated by the XSL stylesheet [is > also available](https://cr.openjdk.org/~hannesw/8393263/raw.00/jvmti.html). > It should be visually unchanged from the old version. > > --------- > - [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 with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision: - Update build to dedicated specs script. - Merge branch 'JDK-8377548' into JDK-8393263 - 8393263: JVM Tool Interface spec presentation needs work ------------- Changes: - all: https://git.openjdk.org/jdk/pull/33181/files - new: https://git.openjdk.org/jdk/pull/33181/files/f0b0732a..3ea4fcf6 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=33181&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=33181&range=00-01 Stats: 238 lines in 6 files changed: 223 ins; 10 del; 5 mod Patch: https://git.openjdk.org/jdk/pull/33181.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/33181/head:pull/33181 PR: https://git.openjdk.org/jdk/pull/33181
