On Fri, 28 May 2021 14:23:43 GMT, Hannes Wallnöfer <[email protected]> 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 <[email protected]> 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
![https://user-images.githubusercontent.com/15975/119998289-db671200-bfd0-11eb-95f7-a89ffe10cff4.png"](https://user-images.githubusercontent.com/15975/119998289-db671200-bfd0-11eb-95f7-a89ffe10cff4.png"){kind=link}