--- a/make/data/docs-resources/resources/jdk-default.css	Wed Jul 10 18:43:45 2019 +0000
+++ b/make/data/docs-resources/resources/jdk-default.css	Wed Jul 10 13:14:22 2019 -0700
@@ -74,6 +74,8 @@
   margin: 1.5ex 0pt 1ex 0pt;
 }
 
+a { text-decoration: none }
+
 a:link {
   color: #4A6782;
 }