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