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,175,255)}
.color2{background-color:rgb(200,200,255)}
.color3{background-color:rgb(230,230,255)}
.color4{background-color:rgb(240,240,255)}
.title{background-color:rgb(255,175,175);font-size:15pt}
.back{background-color:rgb(230,255,230)}
.red{color:#ff0000}