window.onload = function() {if (('\v' == 'v') && document.styleSheets && document.styleSheets[1] && document.styleSheets[1].addRule()) {document.styleSheets[1].addRule("a", "font-size:small");




document.styleSheets[1].addRule(".accel", "accelerator:true");
}}