function navsoffexcept(exceptname)
{
var navs = new Array('about','major','commensal');
for(var i in navs)
{
var name = navs[i];
if (exceptname) if (name == exceptname) continue; //don't turn off the one being turned on, if there is one
var s = document.getElementById('nav_'+name);
if (s == null) continue;
if (!window.opera) s.innerHTML = ''; //opera doesn't do great with collapsing when innerHTML is reset.
}
}
function togglenav(name)
{
navsoffexcept(name);
var s = document.getElementById('nav_'+name);
if (s == null) return; //catch errors
if (name == 'about')
{
s.innerHTML = '';
}
if (name == 'major')
{
s.innerHTML = '';
}
if (name == 'commensal')
{
s.innerHTML = '';
}
}
function mr_shownav()
{
//global mr_togglenav;
//javascript:x=1;if(typeof window['x'] == 'undefined')alert('no'); //testing existance of globals
if (typeof window['mr_togglenav'] == 'undefined') return; //not admin so no horizontal nav bar up top
//closer to the layout used in the normal html, so less buggy
var nav = '';
//create a new "document" block
nav += '';
//just as in the original html, place a centered 780 width table and just add 5 columns
nav += '
| ';
//
// do the nav links...
//
nav += '';
nav += ' |
