LI{
  margin-bottom : 5px;
}
DL{
  margin-left : 80px;
}
DT{
  font-family : monospace;
  width : 120px;
  float : left;
  clear : left;
}
DD{
  margin-bottom : 10px;
  width : 230px;
}
.hallTx0{
  font-size : 60%;
  color : #daf1fc;
  margin-right : 3px;
}