// JavaScript Document
/* shortcut to get Element by ID function */
function $(id) { return document.getElementById(id); }
//------------------------------------------------------
function nosidebar (cssName) {
	// dynamically insert a new CSS link in the header
	// @input: String cssName - must be a css file name (without the css extension) in /css/
	var headID = document.getElementsByTagName("head")[0];         
	var cssNode = document.createElement('link');
	cssNode.type = 'text/css';
	cssNode.rel = 'stylesheet';
	cssNode.href = '/css/'+cssName+'.css';
	cssNode.media = 'screen';
	headID.appendChild(cssNode);

}