/* DATEI: formate.css */


body { background-color:#FFFFFF; color:#000000; }

a:link { color:#000000; background-color:none; text-decoration:underline; }
a:visited { color:#000000; background-color:none; text-decoration:underline; }
a:active { color:#000000; background-color:none; text-decoration:none; }

div.types b { font-size: 120%; text-decoration: blink; color: #a32; }