--- old/src/java.base/share/classes/module-info.java	2020-03-12 13:33:26.962840363 -0700
+++ new/src/java.base/share/classes/module-info.java	2020-03-12 13:33:26.594823736 -0700
@@ -26,8 +26,8 @@
 /**
  * Defines the foundational APIs of the Java SE Platform.
  *
- * <dl>
- * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Providers:</dt>
+ * <dl class="notes">
+ * <dt>Providers:</dt>
  * <dd> The JDK implementation of this module provides an implementation of
  *      the {@index jrt jrt} {@linkplain java.nio.file.spi.FileSystemProvider
  *      file system provider} to enumerate and read the class and resource
--- old/src/java.management.rmi/share/classes/module-info.java	2020-03-12 13:33:27.806878495 -0700
+++ new/src/java.management.rmi/share/classes/module-info.java	2020-03-12 13:33:27.430861507 -0700
@@ -27,8 +27,8 @@
  * Defines the {@linkplain javax.management.remote.rmi RMI connector}
  * for the Java Management Extensions (JMX) Remote API.
  *
- * <dl>
- * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Providers:</dt>
+ * <dl class="notes">
+ * <dt>Providers:</dt>
  * <dd>This module provides the
  * {@link javax.management.remote.JMXConnectorProvider} service,
  * which creates JMX connector clients using the RMI protocol.
--- old/src/java.se/share/classes/module-info.java	2020-03-12 13:33:28.650916627 -0700
+++ new/src/java.se/share/classes/module-info.java	2020-03-12 13:33:28.270899459 -0700
@@ -26,8 +26,8 @@
 /**
  * Defines the API of the Java SE Platform.
  *
- * <dl>
- * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>
+ * <dl class="notes">
+ * <dt>Optional for the Java SE Platform:</dt>
  * <dd>
  *   <a href="{@docRoot}/../specs/jni/index.html">Java Native Interface (JNI)</a><br>
  *   <a href="{@docRoot}/../specs/jvmti.html">Java Virtual Machine Tool Interface (JVM TI)</a><br>
--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	2020-03-12 13:33:29.498954939 -0700
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	2020-03-12 13:33:29.114937590 -0700
@@ -282,6 +282,7 @@
     position:relative;
 }
 dl.notes > dt {
+    font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
     font-size:12px;
     font-weight:bold;
     margin:10px 0 0 0;
--- old/src/jdk.jconsole/share/classes/module-info.java	2020-03-12 13:33:30.350993432 -0700
+++ new/src/jdk.jconsole/share/classes/module-info.java	2020-03-12 13:33:29.974976444 -0700
@@ -27,8 +27,8 @@
  * Defines the JMX graphical tool, <em>{@index jconsole jconsole}</em>,
  * for monitoring and managing a running application.
  *
- * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
- * <dt class="simpleTagLabel">See Also:
+ * <dl class="notes">
+ * <dt>See Also:
  * <dd>{@extLink using_jconsole Using JConsole}
  * </dl>
  *