a:link       { color: rgb(153, 0, 0) }
a:active     { color: rgb(102, 102, 102) }
a:visited    { color: dark-gray }
body         { font-family: Arial, Helvetica, sans-serif; background-color: rgb(221, 255, 221) }
table        { table-border-color-light: rgb(204, 204,204); 
table-border-color-dark:                rgb(102, 102, 102) }

h1           { font-size: 16pt; margin-top: 16 }
h2           { font-size: 16pt }
h3           { font-weight: bold; font-size: 12pt }
h4           { font-weight: bold; font-size: 10pt }
li           { font-size: 10pt; margin-bottom: 8 }
li.small    { margin-top: 0; margin-bottom: 0 }
p            { font-size: 10pt; margin-bottom: 8 }

td           { font-size: 10pt }

td.left_menue { font-size: 10pt; line-height: 200% }
td.left_menue a:link { color: black; text-decoration:none }
td.left_menue a:visited { color: black; text-decoration:none }
td.left_menue a:hover { color: rgb(153, 0, 0); text-decoration:none }

ul.small     { margin-top: 0 }