#upto {
  float: right;}
dt {
  font-size: 120%; 
  font-weight: bold; 
  font-family: sans-serif;}
/* This is to override something from the tablecss: */
pre {
  text-align: left !important;} 
#maintext {
  width: 35em;
  padding-left: 15%; }