RFR: 8253117: Replace HTML tables in javadoc summaries with CSS grid elements [v5]

[Jonathan Gibbons]

On Thu, 8 Oct 2020 09:15:37 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> Comment?
>
> I haven't delved into the pros and cons of different CSS measurement units, but I can do that. For this change, the
> purpose was to leave spacings unchanged, so experimenting with different units was not something I wanted to explore.

Definitely not in this round, but maybe sometime. I would look at the units through the lens of absolute sizes, like
`pt` and `px` compared to font-relative sizes, like `em` and `ex` etc.

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

PR: https://git.openjdk.java.net/jdk/pull/253