document.write("<h5>Links</h5>");
document.write("<dl>");
document.write("<dt class=\"extraInfo\"><a href=\"_index.html\" class=\"link\">Home</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"http://sourceforge.net/projects/smultron/\" class=\"link\">SourceForge project</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"http://sourceforge.net/donate/index.php?group_id=110857\" class=\"link\">Donations</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"http://sourceforge.net/tracker/?group_id=110857&atid=657592\" class=\"link\">Bugs</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"http://sourceforge.net/tracker/?group_id=110857&atid=657595\" class=\"link\">Feature requests</a><br/></dt>");	
document.write("<dt class=\"extraInfo\"><a href=\"http://sourceforge.net/forum/forum.php?forum_id=379995\" class=\"link\">Forum</a><br/></dt>");
document.write("</dl>");

document.write("<h5>Pages</h5>");
document.write("<dl>");
document.write("<dt class=\"extraInfo\"><a href=\"features.html\" class=\"link\">Features</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"history.html\" class=\"link\">History</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"faq.html\" class=\"link\">FAQ</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"preferences.html\" class=\"link\">Preferences</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"hiddenPreferences.html\" class=\"link\">Hidden preferences</a><br/></dt>");
document.write("<dt class=\"extraInfo\"><a href=\"syntaxColouring.html\" class=\"link\">Syntax colouring</a><br/></dt>");
document.write("</dl>");

