RFR: 8296265: Use modern HTML in the JVMTI spec

[Serguei Spitsyn]

On Fri, 11 Nov 2022 00:43:33 GMT, Alex Menkov <amenkov at openjdk.org> wrote:

> Changes:
> - removed `<b>` from TOC;
> - added CSS style for TOC (to simplify customization, currently it's empty);
> - removed `<b>` from from function list (per Phase);
> - removed `<b>` from from list of events;
> - introduced CSS style for bold text, replaced `<b>` tags with `<span class="bold">`;
> - update transformation rule for `"b"` elements to use `"span class=bold"` (to handle `<b>` tags in source XML file);
> - dropped duplicate `"b"` transform.

Looks good to me.
It would be also nice to look at the resulting `jvmti.html` document.
Thanks,
Serguei

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

Marked as reviewed by sspitsyn (Reviewer).

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