body  { color: black; font-style: normal; font-weight: normal; font-size: 12px; font-family: Verdana }
.kleiner text { color: gray; font-style: normal; font-weight: normal; font-size: 6px; font-family: Verdana }
.mini     { color: black; font-style: normal; font-weight: normal; font-size: 9px; font-family: Arial }
.mini_grau { color: #dcdcdc; font-style: normal; font-weight: normal; font-size: 9px; font-family: Arial }
.minimini { color: black; font-style: normal; font-weight: normal; font-size: 7px; font-family: Arial }
.10px { color: black; font-style: normal; font-weight: normal; font-size: 10px; font-family: Arial }