* {
  color: #000000;
  font-family: monospace, monospace;
}
.box {
  width: 70%;
  margin: 0 auto;
}
.hide-nav {
  display: none;
}
.show-nav {
  display: inline-block;
}
.getattention {
  color: #138334;
}
.tc {
  text-align: center;
}
ul li {
  font-size: 1.5rem;
}
ul li span {
  font-size: 0.75rem;
}
.tc a,
ul li span a {
  color: #000000;
  text-decoration: none;
}
dl {
  margin-top: 2rem;
}
dt {
  font-size: 1.125rem;
  font-weight: bold;
}
a.ref {
  color: #000000;
  text-decoration: underline dashed;
}

div.close {
  margin-top: 4rem;
  font-size: 0.9rem;
}

div.close cite {
  font-size: 0.8rem;
}