header {
    border: 5px outset #800020;
    background: lightgrey;
    font-family: freeserif;
    color: black;
}
body {
    background-image: url('bg.jpg');
    font-family: freeserif;
    color: white;
}
a {
    line-height: 1.3;
    color: #800020;
}
img {
    border: 5px outset #800020;
}
p {
    color: black;
    line-height: 1.3;

}
pre {
    font-family: monospace;
}

h3 {
  color: black;

}


.main {
  margin-left: 160px;
  padding: 0px 10px;
}
.sidenav a:hover {
  background-color: #800020;
  color: #ffffff;
}
.sidenav a {
  padding: 6px 8px 6px 16px;
  text-decoration: none;
  font-size: 16px;
  color: black;
  display: block;
}
.sidenav {
  height: 100%;
  width: 80px;
  position: fixed; 
  z-index: 1; 
  top: 0; 
  right: 0;
  background-color: lightgrey; 
  overflow-x: hidden; 
  padding-top: 20px;
  border: 5px outset #800020;
}
.textbox {
  background-color: lightgrey;
  width: 1000px;
  border: 3px outset #800020;
  padding: 10px;
}
.textbox2 {
  background-color: lightgrey;
  width: 600px;
  border: 3px outset #800020;
  padding: 10px;
  position: absolute;
}