.padded_row td
{
  padding-top:1.5em;
}

.bold
{
  font-weight:bold;
}

.monospace
{
  font-family:monospace;
}