On Fri, 28 May 2021 14:23:43 GMT, Hannes Wallnöfer <hann...@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
![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}