/* Apply padding to td elements that are direct children of the tr element. */
tr.spaced_rows > td
{
  padding-left:   0.4em;
  padding-right:  0.4em;
  padding-top:    0.3em;
  padding-bottom: 0.3em;
  vertical-align:top;
}

body
{
  background-color:#8B0000;
}

table.toc
{
  border-collapse: collapse;
  position: fixed;
  background-color:lightgray;
  width: 10em;
  top: 1em;
  left: 0.5em;
}

table.main
{
  width:42em;
  margin-left:11em;
  margin-right:auto;border-collapse: collapse;
}

td
{
  background-color: #CCBBBB;
  padding:0.3em;
}