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

[Hannes Wallnöfer]

On Tue, 6 Oct 2020 23:33:45 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css line 440:
>> 
>>> 438: .summary-table > div {
>>> 439:     text-align:left;
>>> 440:     padding: 8px 3px 3px 7px;
>> 
>> General comment: should we be using some font-related unit such as `em` `ex` instead of absolute units like `px` ?
>
> 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.

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

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