img {
  border: 0px;
  background: none;
}

.file {
  font-family:monospace;
}

.code {
  font-family:monospace;
}

p:active,div:active,dd:active,dt:active,td:active,th:active, tt:active {
  color: blue;
}

h1 {
  font-size: 130%;
  font-family: sans-serif;
  font-weight: bold;
}

h2 {
  font-size: 110%;
  font-family: sans-serif;
  font-weight: bold;
}

tt {
  font-family: monospace;
}

p.code,div.code {
  margin-left: 10px;
}

p.footer,div.footer {
  margin-left: 20px;
  margin-right: 80px;
  margin-top: 40px;
  margin-bottom: 40px;
  text-align: center;
  font-size: 80%;
}

div.nav {


}