a {
  text-decoration: none;
  color: #4271ae;
}

body {
  font-family: 'DejaVu Sans Mono', monospace;
  margin: 40px auto;
  min-width: 80ch;
  max-width: 80ch;
  line-height: 1.5;
  font-size: 16px;
  background-color: #ffffff;
  color: #4d4d4c;
  padding: 0 10px;
  text-align: left;
  overflow-y: scroll;
}