th { 
 padding-left: 0.5em;  padding-right: 0.5em;
}

td { 
 padding-left: 0.5em;  padding-right: 0.5em;
}

span.mo {
 color:            #000099;
 background-color: inherit;
}

span.extra {
 color:            #ff0000;
 background-color: inherit;
 font-weight:      bold;
}

a.button {
  font-size: small;

  background-color: #cccccc;
  color:            #000000;

  padding-bottom: 0.5ex;
  padding-left:   1em;
  padding-right:  1em;
  padding-top:    0.5ex;

  border-color: #666666;
  border-style: solid;
  border-width: thin;
}


span.active {
  font-size: small;
  font-weight: bold;

  background-color: #ffff99;
  color:            #000000;

  padding-bottom: 0.5ex;
  padding-left:   1em;
  padding-right:  1em;
  padding-top:    0.5ex;

  border-color: #666666;
  border-style: solid;
  border-width: thin;
}