Event.observe(window, 'load', function() {
  if (navigator.userAgent.toLowerCase().match('firefox')) {
    document.getElementsByTagName('body')[0].className = document.getElementsByTagName('body')[0].className + " firefox";
  }
});