html {
  border-top: 3px solid #292929;
  background: #fff;
  color: #000;
}

body {
  margin: 9px 2px 0 13px;
  font-family: "Times New Roman", Times, serif;
  font-size: 22px;
}

ul,
ol {
  padding-left: 55px;
}

pre {
  font-size: 17px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

hr {
  border: 0;
  border-top: 2px solid #666;
}

.back-button {
  position: absolute;
  top: 468px;
  left: 11px;
  width: 48px;
  height: 48px;
  padding: 0;
  border: 0;
  border-radius: 50%;
  background: rgb(100 100 100 / 70%);
  cursor: pointer;
  display: grid;
  place-items: center;
}

.back-button span {
  width: 10px;
  height: 10px;
  border-left: 2px solid #eee;
  border-bottom: 2px solid #eee;
  transform: translateX(3px) rotate(45deg);
}

.back-button:hover {
  background: rgb(80 80 80 / 80%);
}

.back-button:focus-visible {
  outline: 2px solid #000;
  outline-offset: 3px;
}