window.$ = function(id){return document.getElementById(id);}

// setup menu
var relPath = '';
// if we are in a show dir
if( window.location.pathname.indexOf('/shows/')>=0 ){ relPath = '../../'; }
var mainMenu = $('mainMenu');
if( mainMenu != null ){
	mainMenu.innerHTML 
	='<li><a href="'+relPath+'tickets.html">tickets</a></li>'
	+'<li><a href="'+relPath+'volunteer.html">volunteer</a></li>'
	+'<li><a href="'+relPath+'libretto.html">newsletter</a></li>'
	+'<li><a href="'+relPath+'donate.html">donate</a></li>'
	+'<li><a href="'+relPath+'joinemail.php">join email list</a></li>'
	+'<li><a href="'+relPath+'location.html">location</a></li>'
	+'<li><a href="'+relPath+'contactus.html">contact us</a></li>'
	+'<li><a href="'+relPath+'about.html">about</a></li>'
	+'<li><a href="'+relPath+'default.html">home</a></li>';
}