RFR: JDK-8247608: Javadoc: CSS margin is not applied consistently

Fri May 28 15:42:06 UTC 2021

On Fri, 28 May 2021 14:23:43 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> This simple stylesheet change adds a 10px right side border to the `<dd>` element containing the contents of block tags. I'm attaching a screenshot with the fixed spacing, see JBS attachments for reproducer source code and before-screenshots.
> 
> <img width="713" alt="border" src="https://user-images.githubusercontent.com/15975/119998289-db671200-bfd0-11eb-95f7-a89ffe10cff4.png">

As a separate issue, I suggest that it might be good increase the margins for <dd> so that it is slightly indented relative to the surrounding text.

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

Marked as reviewed by jjg (Reviewer).

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