Skip to content
Permalink
Browse files
8247608: Javadoc: CSS margin is not applied consistently
Reviewed-by: jjg
  • Loading branch information
hns committed May 31, 2021
1 parent 9031477 commit 1ab277694740ce77ad70d030c437f47359dbd64e
Showing with 1 addition and 1 deletion.
  1. +1 −1 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;
}

1 comment on commit 1ab2776

@openjdk-notifier

This comment has been minimized.

Copy link

@openjdk-notifier openjdk-notifier bot commented on 1ab2776 May 31, 2021

Please sign in to comment.