8247608: Javadoc: CSS margin is not applied consistently

Reviewed-by: jjg
This commit is contained in:
Hannes Wallnöfer 2021-05-31 06:45:37 +00:00
parent 9031477f27
commit 1ab2776947

View File

@ -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;
}