Event.observe( window, 'load',
  function(element) {
    $$('pre code').each(
      function(e) {
        e.onmouseout="this.removeClassName('moused')";
        e.onmouseover="this.addClassName('moused')";
      }
    );
  }
);