body{background-color:rgb(255,255,255);font-size:11pt;color:#000000}
table{font-size:11pt;color:#000000}
font{font-size:11pt;color:#000000}
.big{font-size:14pt}
.mini{font-size:9pt}
.mini2{font-size:8pt}
.color0{background-color:rgb(255,255,255)}
.color1{background-color:rgb(175,255,175)}
.color2{background-color:rgb(200,255,200)}
.color3{background-color:rgb(230,255,230)}
.color4{background-color:rgb(240,255,240)}
.title{background-color:rgb(175,255,175);font-size:15pt}
.back{background-color:rgb(230,255,230)}
.red{color:#ff0000}