Integrated: 8296265: Use modern HTML in the JVMTI spec

[Alex Menkov]

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.

This pull request has now been integrated.

Changeset: 09f70dad
Author:    Alex Menkov <amenkov at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/09f70dad2fe3f0691afacded6c38f61fa8a0d28d
Stats:     53 lines in 1 file changed: 2 ins; 16 del; 35 mod

8296265: Use modern HTML in the JVMTI spec

Reviewed-by: sspitsyn, kevinw

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

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