/* The three colors used:
   blue: #667FFF;
   light-blue: #99B3FF;
   pastel-blue: #CCE6FF; */

body, p, a, td, th {
  font-family: garmond, verdana, arial, helvetica, sans-serif;
}

p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

a {
  text-decoration: none;
}

a:link {
  color: black;
}

a:visited {
  color: black;
}

a:hover {
  color: #667FFF;
}

p.title {
  font-size: 180%;
  font-weight: bold;
  text-align: center;
}

p.nav-sec {
  margin-left: 0.5em;
  margin-right: 0.5em;
  font-weight: bold;
}

p.nav-sub {
  margin-left: 2em;
  margin-right: 0.5em;
}


td {
  vertical-align: top;
}

/* The table cell with the navigation-bar at the left: */
td.nav {
  padding: 4px;
  border: 2px solid #667FFF;
}

/* The table cell with the body of the page: */
td.body {
  padding: 8px;
}