body {
  margin: 0 auto;
  background-color: #3d3d3d;
  padding: 0px;
}

header {
  background-color: #ebebeb;
  margin-left: 5%;
  margin-right: 5%;
  margin-bottom: 0em;
  padding-bottom: 0.5em;
  border-bottom: 0.2em solid #3d3d3d;
}

header h1 {
  margin-top: 0em;
  margin-bottom: 0.3em;
  margin-left: 3%;
  padding-top: 0.5em;
} 

nav p {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  margin-left: 3%;
}

header p {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  margin-left: 5%;
}

main {
  background-color: #ebebeb;
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 5%;
  margin-right: 5%;
  padding-top: 0.5em;
  padding-left: 2.0em;
  padding-right: 2.0em;
  padding-bottom: 0.5em;
  border-bottom: 0.2em solid #3d3d3d;
}

main pre {
  font-family: monospace;
  font-size: 1.2em;
}

main code {
  font-family: monospace;
  font-size: 1.2em;
}