// JavaScript Document

if (window.navigator 
 && window.navigator.userAgent.toString().indexOf('Firefox') != -1 
 && window.navigator.userAgent.toString().indexOf('1.8.1.8') != -1){
 document.getElementById('container').className =
 document.getElementById('container').className + ' clearfix';}