body {
  margin: 0;
  background-color: white;
  color: black;
  font-family: Verdana, Helvetica, Arial, sans-serif;
}

h1, h2 {
  text-align: center;  
}

#nav {
  list-style-type: none;
  margin: 0;
  padding: 10px;
  width: 25%;
  background-color: #c0c0c0;
  height: 100%;
  position: fixed;
  overflow: auto;
  top: 0;
  padding-inline-start: 10px;
}

#nav ul {
  list-style-type: none;
  padding-inline-start: 20px;
}

#nav li {
  margin-left: 0;
}

a.redlink {
  color: red;
}

a.redlink:visited {
  color: #800000;
}