# HG changeset patch
# User jjg
# Date 1482529401 28800
# Node ID 72e5b4fb1e1bcee46753e5c2be37602ba8a41664
# Parent  2dd56b699827b65a6677fe2be25a7746b89dfdbb
8171978: docs should use CSS-friendly <span> instead of <font>
Reviewed-by: tbell

diff -r 2dd56b699827 -r 72e5b4fb1e1b make/Javadoc.gmk
--- a/make/Javadoc.gmk	Thu Dec 22 18:48:00 2016 +0000
+++ b/make/Javadoc.gmk	Fri Dec 23 13:43:21 2016 -0800
@@ -148,10 +148,10 @@
 # arg 2: copyright url (optional)
 # arg 3: free-form text snippet (optional)
 define GenerateBottom
-  <font size="-1">$(if $(strip $3), $(strip $3))<br> $(if \
+  <span style="font-size:smaller">$(if $(strip $3), $(strip $3))<br> $(if \
       $(strip $2),<a href="$(strip $2)">Copyright</a>,Copyright) \
       &copy; $(strip $1), $(COPYRIGHT_YEAR), $(FULL_COMPANY_NAME). \
-      $(COMPANY_ADDRESS). All rights reserved.</font>
+      $(COMPANY_ADDRESS). All rights reserved.</span>
 endef
 
 # Speed up finding by filling cache