//  (c) 2000 by Günther Schleu

   if (navigator.appName.indexOf('Netscape') != -1) { document.write("<style type=\"text/css\">\nUL {margin-left:-20pt;}\nLI {margin-left:2pt}\n<\/style>") }
   else if (navigator.appName.indexOf('Microsoft') != -1) { document.write("<style type=\"text/css\">\nUL {margin-left:25pt;}\nLI {margin-left:-15pt}\n<\/style>") };