if (navigator.userAgent.indexOf("Opera")>-1 || navigator.userAgent.indexOf("MSIE")>-1 || navigator.userAgent.indexOf("Mozilla/5.0")>-1) {
  document.writeln('<STYLE type="text/css">');
    document.writeln('.SUP {font-size: 80%; position: static; vertical-align: super}');
    document.writeln('.RUECK {font-size: 80%; position: static}');
  document.writeln('</STYLE>')
}