8098537: Incorrect fonts in Java 8 javadocs
8072052: <dd> part of <dl> list in javadoc should not be in monospace font
Reviewed-by: bpatel
--- a/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css Tue Aug 16 16:43:00 2016 +0200
+++ b/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css Tue Aug 16 10:35:10 2016 -0700
@@ -339,7 +339,7 @@
.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {
margin:5px 0 10px 0px;
font-size:14px;
- font-family:'DejaVu Sans Mono',monospace;
+ font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
}
.serializedFormContainer dl.nameValue dt {
margin-left:1px;