//
// Code that replaces the static, non-javascript menu with the dynamic one: static then works in browsers without js enabled, and do not upset printing
// (c) Paul Nicholson 2004, 2009
//
// Tested with IE6, Safari 3.2.2, Firefox 3.0.10
//




document.write("<style type=text/css>");

// Version for using new javascript menus if javascript enabled
//
document.write("#menu_banner { display: inline ; }");
document.write("#banner { display: none ; }");


// Version for reverting to old website static banner menu
//
//document.write("#menu_banner { display: none ; }");
//document.write("#banner { display: inline ; }");



document.write("@media print");
document.write("{");
document.write("#banner {display: none;}");
document.write("#menu_banner {display: none;}");
document.write("}");

document.write("</style>");