.yy {font-weight: bold }
.k {color: #000080; font-weight: bold }
.b {color: #0000FF}
.g {color: #008000;}
.t {color: #008284}
.c1 {color: #008200;}
.c2 {color: #008200;}
.c3 {color: blue;}
.c4 {color: blue;}
.c5 {color: #008284;}
pre {font-family: "Courier New", "Verdana", "Arial"; font-size: inherit; color: #000000; padding: 0px;}