From 1ab277694740ce77ad70d030c437f47359dbd64e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hannes=20Walln=C3=B6fer?= Date: Mon, 31 May 2021 06:45:37 +0000 Subject: [PATCH] 8247608: Javadoc: CSS margin is not applied consistently Reviewed-by: jjg --- .../javadoc/internal/doclets/toolkit/resources/stylesheet.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css index 23532555ee9..0738b1a5679 100644 --- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css +++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css @@ -281,7 +281,7 @@ dl.notes > dt { color:#4E4E4E; } dl.notes > dd { - margin:5px 0 10px 0; + margin:5px 10px 10px 0; font-size:14px; font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; }