make/Docs.gmk
changeset 45775 e333a1979702
parent 45617 1e5b518f5e14
child 46237 3aeb6cbc0ccc
child 46087 2937d486bb2e
--- a/make/Docs.gmk	Thu Jun 29 17:26:05 2017 +0000
+++ b/make/Docs.gmk	Mon Jul 03 13:18:55 2017 -0700
@@ -158,7 +158,7 @@
 
 JDK_SHORT_NAME := Java SE $(VERSION_SPECIFICATION) & JDK $(VERSION_SPECIFICATION)
 JDK_LONG_NAME := Java<sup>&reg;</sup> Platform, Standard Edition \
-    <span style="white-space: nowrap;">&amp; Java Development Kit</span>
+    &amp;&nbsp;Java&nbsp;Development&nbsp;Kit
 
 ################################################################################
 # Java SE javadoc titles/text snippets
@@ -206,10 +206,10 @@
       #
     $1_OVERVIEW_TEXT += $$(foreach g, $$($1_GROUPS), \
         <dt style="margin-top: 8px;"><a href="\#$$g">$$($$g_GROUP_NAME)</a></dt> \
-        <dd style="margin-top: 8px;">$$($$g_GROUP_DESCRIPTION)</dt> \
+        <dd style="margin-top: 8px;">$$($$g_GROUP_DESCRIPTION)</dd> \
     )
     $1_OVERVIEW_TEXT += \
-        </dl><blockquote> \
+        </dl></blockquote> \
         #
   endif
   $1_OVERVIEW_TEXT += \