body,td,div,.p,a{font-family:arial,sans-serif }

tt { line-height:0.6em; font-size:7pt }
.ascii { text-decoration:none }

table.top10 { color:#224499; text-align:left; }

.box { color:#000000;  }
.boxed { border: medium solid #bbcced; }