/* DATEI: menu.css */

body, a
{
font-family:Helvetica,Arial,sans-serif;
font-style:normal;
font-weight:bold;
font-size:80%;
color:#000080;
background-color:rgb(192,192,192);
}

font, div
{
font-family:Helvetica,Arial,sans-serif;
font-style:normal;
font-weight:normal;
font-size:75%;
color:#000000;
}

p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b,i
     { font-family:Helvetica,Arial,sans-serif; }

a:link    { color:#0000bb;}
a:visited { color:#000066; }
a:active  { color:#ff0000; }

/* a     { color:#000080; } */
/* h1, h2, h3, h4, h5, p, li, div, font, b, i, u, a */

/* Helvetica,Arial,sans-serif =  serifenlose Schrift, Wert aenderbar */
/* Courier New,Courier = Schriftarten, Wert aenderbar */
/* font-family = Schriftart fuer Textelemente */
/* font-size = Schriftgroesse */
/* border-width = Randbreite */
/* 1pt = 1 Punkt, Wert aenderbar */
/* border-style = Randstil */
/* solid = durchgezogen, Wert aenderbar */
/* border-color = Randfarbe */
/* #999999 = grau, Wert aenderbar */
/* background-color = Hintergrundfarbe */
/* #FFFFE0 = helles Gelb, Wert aenderbar */