8098537: Incorrect fonts in Java 8 javadocs
authorjjg
Tue, 16 Aug 2016 10:35:10 -0700
changeset 40505 6ee9b4aa803e
parent 40504 0a01f6710c84
child 40506 258ad5fd9b57
8098537: Incorrect fonts in Java 8 javadocs 8072052: <dd> part of <dl> list in javadoc should not be in monospace font Reviewed-by: bpatel
langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
--- 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;