hg: jdk9/dev/langtools: 8098537: Incorrect fonts in Java 8 javadocs; ...

[jonathan.gibbons at oracle.com]

Changeset: 0e601a524d35
Author:    jjg
Date:      2016-08-16 10:35 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/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

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css