body {
  width: 60%;
  margin-left: 3em;
}
.fixed {
  color:  #01025b;  
  font-family: Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New, monospace;
  white-space:nowrap;
}
pre {
  font-family: Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New, monospace;
}

th {
border-top:1px solid #000;
border-bottom:1px solid #000;
padding: 5pt;
}
.bt {
border-top:1px solid #000;
margin-top: 5pt;
}
.bb {
border-bottom:1px solid #000;
margin-bottom: 5pt;
}