Index: pages/fancyformat.tcl
==================================================================
--- pages/fancyformat.tcl
+++ pages/fancyformat.tcl
@@ -436,11 +436,11 @@
             [hide]
           </a>
         </div>
         $::Addtoc(toc) 
       </div>
-      <div id=antitoc display=none>
+      <div id=antitoc style="display:none">
         <a class=toct style="margin-left:4ex" href="#" onclick="show_toc()">
           &#91;show table of contents&#93;
         </a>
       </div>
     </div>