.story { font-size:16px }
.button { font-size:65% }
.topic { font-size:13px; font-weight:bold; color:white }
.menu { font-family: Verdana, Arial, Helvetica, sans-serif; color: #FFFFFF; text-decoration:none; font-size:13px; line-height:130%}
.icon { border-width:0px; margin-right:5px }

pre { font-size:medium }

span.tableheader { font-size:70%; color:black }
span.tableheader2 { font-size:70%; font-weight:bold; color:white }
table.tableheader2 { border: 2px solid #808080; border-bottom-width:0px; margin-left:11px }
td.tableheader2 { border-bottom: 0px solid #EEEEEE }
table.table2 { background-color:lightgrey; border: 1px solid #808080; }
td.tabletitle2 { background-color:lightsteelblue; border: 1px solid #808080; font-size:75%; font-weight:bold }
td.tablebody2 { border:1px solid #808080 }
td.tablefooter2 { border:1px solid #808080; background-color:#eeeeff }

a.folder { color:#3333AA; text-decoration:none }
a.folder:visited { color:#6666CC; }
a.folder:hover { text-decoration:underline }

a.folder_min { color:#3333AA; text-decoration:none }
a.folder_min:visited { color:#6666CC }
a.folder_min:hover { color:#3333AA; background-color:F0F0FF }

a.permanent { color:#3333AA; text-decoration:none }
a.permanent:hover { background-color:#F0F0FF }

a.redlink { color:#B00000; text-decoration:none }
a.redlink:hover { color:#3333AA; background-color:#F0F0FF }

#infobox { border:1px solid #B0B0B0;
           background-color:#F8F8F8;
           border-spacing:5px;
           padding:0; }
#infobox td { font-size:0.8em }
td.infobox { padding-right:3px; font-variant:small-caps; text-align:right; vertical-align:top; }

#inhalt { margin:15px 33px 0px 26px }