Re: RFR: 8296265: Use modern HTML in the JVMTI spec

2022-11-21 Thread Kevin Walls
On Fri, 11 Nov 2022 00:43:33 GMT, Alex Menkov wrote: > Changes: > - removed `` from TOC; > - added CSS style for TOC (to simplify customization, currently it's empty); > - removed `` from from function list (per Phase); > - removed `` from from list of events; > - introduced CSS style for bold te

Re: RFR: 8296265: Use modern HTML in the JVMTI spec

2022-11-15 Thread Serguei Spitsyn
On Fri, 11 Nov 2022 00:43:33 GMT, Alex Menkov wrote: > Changes: > - removed `` from TOC; > - added CSS style for TOC (to simplify customization, currently it's empty); > - removed `` from from function list (per Phase); > - removed `` from from list of events; > - introduced CSS style for bold te

Re: RFR: 8296265: Use modern HTML in the JVMTI spec

2022-11-15 Thread Alex Menkov
On Fri, 11 Nov 2022 00:43:33 GMT, Alex Menkov wrote: > Changes: > - removed `` from TOC; > - added CSS style for TOC (to simplify customization, currently it's empty); > - removed `` from from function list (per Phase); > - removed `` from from list of events; > - introduced CSS style for bold te

Re: RFR: 8296265: Use modern HTML in the JVMTI spec

2022-11-14 Thread Serguei Spitsyn
On Fri, 11 Nov 2022 00:43:33 GMT, Alex Menkov wrote: > Changes: > - removed `` from TOC; > - added CSS style for TOC (to simplify customization, currently it's empty); > - removed `` from from function list (per Phase); > - removed `` from from list of events; > - introduced CSS style for bold te