<!--

function cssswitch(newstyle) {
 var css_default = document.getElementById("style_all_default");
 var css_printable = document.getElementById("style_all_printable");

 if (!(css_default && css_printable)) return;
 if (newstyle == 'printable') {
   css_default.disabled = true;
   css_printable.disabled = false;
 } else {
   css_default.disabled = false;
   css_printable.disabled = true;
 }
} 

-->