From 44bdf9964eb2dd0eb4034576e1f903a27c410286 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hannes=20Walln=C3=B6fer?= Date: Fri, 17 May 2024 13:28:51 +0000 Subject: [PATCH] 8332239: Improve CSS for block tags Reviewed-by: prappo, liach, jjg --- .../doclets/formats/html/resources/stylesheet.css | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css index f0777a6ba96..8086e0d88b3 100644 --- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css +++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css @@ -372,9 +372,13 @@ dl.notes > dt { color:var(--body-text-color); } dl.notes > dd { - margin:5px 10px 10px 0; + margin:5px 10px 10px 15px; font-size:var(--block-font-size); - font-family:var(--block-font-family) + font-family:var(--block-font-family); +} +dl.notes > dd > ul, dl.notes > dd > ol { + margin-bottom: 1em; + margin-top: 1em; } dl.name-value > dt { margin-left:1px; @@ -547,8 +551,9 @@ ul.ref-list > li { margin-top:0; margin-bottom:1px; } -ul.tag-list, ul.tag-list-long { +dl.notes > dd > ul.tag-list, dl.notes > dd > ul.tag-list-long { padding-left: 0; + margin: 0; list-style: none; } ul.tag-list li {