src/java.management.rmi/share/classes/module-info.java

@@ -25,12 +25,12 @@
 
 /**
  * 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.
  * Instances of {@code JMXConnector} can be obtained via the
  * {@link javax.management.remote.JMXConnectorFactory#newJMXConnector