On Tue, 6 Oct 2020 23:33:45 GMT, Jonathan Gibbons <j...@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
