/*Aligns Banner Left*
<!--
document.getElementsByTagName('img').item(0).align = "left";
//-->



/*Removes Space Above Welcome Table*/
document.getElementsByTagName("BR")[0].style.display = "none";



/*Removes <<Home>>, etc.*/
<!--
document.getElementsByTagName('font').item(1).style.display="none";
//-->



<!--
/*Removes Hey X*/
document.getElementsByTagName('td').item(2).style.display="none";
//-->



<!--
/* fix text menus by ross */

var startChar = '<font size=\"4\">[</font>'; //Start character
var dividerChar = '<font size=\"4\">|</font>'; //Dividing Character(s);
var endChar = '<font size=\"4\">]</font>'; //End character

//no need to edit below
var menu = document.getElementsByTagName('td').item(5).firstChild;
var a = menu.innerHTML.replace(/^\n?(<.+?>)\[/, startChar+' $1');
var b = a.replace(new RegExp('\\](<\/a>)(\\n|\\s|&nb'+'sp;)*$', 'i'), '$1 '+endChar);
var c = b.replace(new RegExp('\\](<\/a>)(&nb'+'sp;|\\s)(<a.+?>)\\[', 'gi'),'$1 '+dividerChar+' $3');
menu.innerHTML = c;
//-->




// Resize the welcome table - can be % or a number of pixels
document.getElementsByTagName('table')[0].style.width='100%';