* {
  box-sizing: border-box;
}

body {
  font-family: Georgia, Times;
  font-size: 20px;
  background-color: #fff8ea;
  color: #594545;
  width: 700px;
  max-width: calc(100% - 20px);
  margin: auto;
}

h1 {
  color: #815b5b;
  font-family: Helvetica, Tahoma, Arial;
  font-weight: normal;
}

h2,
h3,
h4,
h5,
h6 {
  color: #815b5b;
  font-weight: normal;
}

a {
  color: darkblue;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.topnav {
  color: #fff8ea;
  background-color: #594545;
  margin-top: 10px;
  padding: 5px 5px 5px 5px;
}

.topnav a {
  color: #fff8ea;
  padding: 10px 10px;
}

@media screen and (max-width: 700px) {
  .topnav a {
    float: none;
    display: block;
    text-align: left;
  }
}

pre {
  border: 1px solid #e6e6e6;
  border-radius: 3px;
  background-color: #f2f2f2;
  padding: 8pt;
  font-family: monospace;
  font-size: 10px;
  overflow-x: scroll;
  overflow-y: visible;
  margin: 1.2em;
}

pre.src {
  position: relative;
  overflow: auto;
}

pre.src:before {
  display: none;
  position: absolute;
  bottom: -16px;
  right: 12px;
  padding: 3px;
  color: #555;
  background-color: #f2f2f2;
}