* { 
  font-family: sans-serif;
  line-height: 130%;
}

body {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}

table.content {
  border-collapse: collapse;
  width: 100%;
}

td.header {
  padding: 20px 20px 20px 20px;
  font-size: 30pt;
  font-weight: bold;
  color: black;
  background-color: rgb(133,194,255);
  vertical-align: middle;
}

td.menu {
  width: 160px;
  padding: 20px 20px 20px 20px;
  background-color: rgb(255,255,205);
  vertical-align: top;
}

td.menu a:link {
  color: rgb(153,51,102);
}

td.menu a:visited {
  color: rgb(153,51,102);
}

td.main {
  padding: 20px 20px 20px 20px;
  background-color: white;
  vertical-align: top;
}

.ref-name {
  font-weight: bold;
}

.ref-where {
  font-style: italic;
}

ol.references li {
  margin-bottom: 15px;
}