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

Mon May 31 06:48:24 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">

This pull request has now been integrated.

Changeset: 1ab27769
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/1ab277694740ce77ad70d030c437f47359dbd64e
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8247608: Javadoc: CSS margin is not applied consistently

Reviewed-by: jjg

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

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