.nav
{
  float: left;
  width: 10em;
  border-right: solid thin red;
  border-bottom: solid thin red;
  margin-left: 0;
  margin-right: 1em;
  padding: 1em;
}

.nav h3
{
  margin: 0;
  padding: 0;
  margin-bottom: 0.25em;
}

.menu
{
  margin: 0;
  margin-bottom: 0.5em;
  padding-left: 0.5em;
  list-style-type: none;
}

.menu a
{
  display: block;
  text-decoration: none;
  font-family: sans-serif;
  font-weight: bold;
}

.menu a:link a:visited
{
  color: blue;
}

.menu a:hover
{
  background: #009;
  color: #fff;
}

.separate {
  border-top: dotted thin black;
}
