if (/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Firefox/x.x or Firefox x.x (ignoring remaining digits);
 var ffversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (ffversion>=3.1)
  document.write('<link href="/css/bugs-IE8.css" rel="stylesheet" type="text/css" />')
}

if (/Safari[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Firefox/x.x or Firefox x.x (ignoring remaining digits);
 var Sarversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (Sarversion>=3.1)
  document.write('<link href="/css/bugs-IE8.css" rel="stylesheet" type="text/css" />')
}

if (/Opera[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Firefox/x.x or Firefox x.x (ignoring remaining digits);
 var Opversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (Opversion<10)
  document.write('<link href="/css/bugs-IE8.css" rel="stylesheet" type="text/css" />')
}