text: document.write("<ul>");
  document.write("<li><a href='index.html'>Home</a></li>");
  document.write("<li><a href='download.html'>Download</a></li>\n");
  document.write("<li><a href='https://github.com/antlr/stringtemplate4/blob/master/doc/index.md>Doc</a></li>\n");
  document.write("<li><a href='about.html'>About StringTemplate</a></li>\n");
  document.write("<li><a href='support.html'>Support</a></li>  \n");
  document.write("<li><a href='https://github.com/antlr/stringtemplate4/issues'>Bugs</a></li> \n");
  document.write("</ul>\n");
  document.write("<small>&copy; Copyright StringTemplate / Terence Parr 2013</small>");
  