div#riscBody {max-width: 50em;}
table, td, tr, th { text-align: left;}
table.semtable {
  border-top: 5px solid white; /* does not work with IE */
}
.semtable td {
  padding: 3px;
}
.lightblue {
  background-color: #e0efff;
} 

.darkblue {
  background-color: #bfddff;
} 

.align-right {
  text-align:right;
}