--- a/make/data/docs-resources/resources/jdk-default.css	Thu Jul 11 15:58:54 2019 +0000
+++ b/make/data/docs-resources/resources/jdk-default.css	Fri Jul 12 02:50:43 2019 -0700
@@ -85,6 +85,8 @@
     margin-top: -1em;
 }
 
+a { text-decoration: none }
+
 a:link {
   color: #4A6782;
 }