with (document)
{
	write ('<div class="menu">');
	
	if (document.title == "Overview")
		write ('<a id="sel" href="overview.html">Overview</a>');
	else
		write ('<a href="overview.html">Overview</a>');
	
	if (document.title == "Disk Browser")
		write ('<a id="sel" href="diskbrowser.html">Disk Browser</a>');
	else
		write ('<a href="diskbrowser.html">Disk Browser</a>');
	
	if (document.title == "Wizardry Browser")
		write ('<a id="sel" href="wizbrowser.html">Wizardry Browser</a>');
	else
		write ('<a href="wizbrowser.html">Wizardry Browser</a>');
	
	write ('</div>');
}