From 501f5e50e4eeda45704e22e77a540e951e9f78cd Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 26 Jan 2020 23:44:12 -0800
Subject: Publishing updates for tip

---
 _tools/pubrefman.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '_tools/pubrefman.sh')

diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh
index 61888cb3..e4cfb7b1 100644
--- a/_tools/pubrefman.sh
+++ b/_tools/pubrefman.sh
@@ -81,8 +81,8 @@ done
 
 index=${scratch}/adoc/index.adoc
 toc=${scratch}/html/_toc.html
-printf "<span id=\"toctitle\">Table of Contents</span>\n" > ${toc}
 printf "<nav id=\"toc\" class=\"toc2\">\n" >> ${toc}
+printf "<div id=\"toctitle\">Table of Contents</div>\n" > ${toc}
 printf "<ul class=\"sectlevel1\n\">\n" >> ${toc}
 printf "# NNG Reference Manual\n" >> ${index}
 for sect in $(echo ${!pages[@]} | tr " " "\n" | sort ); do
-- 
cgit v1.2.3-70-g09d2