if (/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){
  var ffversion=new Number(RegExp.$1)
  if (ffversion>=3)
        document.write('<style type="text/css">#pagination a, span{margin-top: 0px !important} </style>');
}

