changeset 3593:0e601a524d35

8098537: Incorrect fonts in Java 8 javadocs 8072052: <dd> part of <dl> list in javadoc should not be in monospace font Reviewed-by: bpatel
author jjg
date Tue, 16 Aug 2016 10:35:10 -0700
parents 8382e92dd1f9
children 70c752a3447a
files src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Tue Aug 16 16:43:00 2016 +0200
+++ b/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;