html {
  align-items: center;
  background: white;
  display: flex;
}

@font-face {
  font-family: 'DejaVuSansMono', Arial;
  src: url('DejaVuSansMono.eot');
  src: url('DejaVuSansMono.eot?#iefix') format('embedded-opentype'),
    url('DejaVuSansMono.woff2') format('woff2'),
    url('DejaVuSansMono.woff') format('woff'),
    url('DejaVuSansMono.otf') format('opentype'),
    url('DejaVuSansMono.ttf') format('truetype'),
    url('DejaVuSansMono.svg#svgFontName') format('svg');
}

body {
  color: #222;
  margin: 2rem;
  max-width: 410px;
  font-size: 12pt;
}

hr {
  background-color: #209fc9;
  height: 1px;
  border: none;
  width: 45%;
  margin-bottom: 30px;
  margin-top: 25px;
}

a {
  color: #222;
  text-decoration: none;
  margin-left: 2px;
  margin-right: 2px;
}

a:hover {
  color: #209fc9;
}

a:first-child {
  margin-left: 0;
}

.header {
  height: 1px;
}

.pageTitleButton {
  color: #209fc9;
  font-size: 22pt;
  padding: 0;
  border: none;
  background: none;
  cursor: pointer;
}

.text {
  margin-top: 50px;
}

.links {
  font-size: 12pt;
}

.prev {
  margin-top: 30pt;
  margin-bottom: 30pt;
}

.prev :hover {
  color: #222;
  text-decoration: none;
}