@font-face {
  font-family: "notomono";
  src: url("./fonts/notomono/NotoMono-Dot.woff") format("woff");
  font-weight: normal;
  font-style: normal;
}
body,
pre {
  font-family: "notomono", monospace;
  font-size: 1.5rem;
  font-weight: normal;
  font-style: normal;
}
@media screen and (min-width: 500px) {
  html {
    font-size: calc(var(--base_font_size) * 1.2);
  }
}
ul {
  display: block;
  list-style-type: "• ";
  padding-left: 25px;
  /*
	list-style-position: inside;
	*/
  list-style-position: outside;
}
li {
  display: list-item;
}
li::marker {
  font-size: 1.8rem;
}

a:empty::after {
  content: attr(href);
}
h1 {
  margin: 30px 0px;
  font-size: 2.25rem;
}
h2 {
  margin: 30px 0px;
  font-size: 2rem;
}
h3 {
  margin: 20px 0px;
  font-size: 1.75rem;
}
h4 {
  margin: 20px 0px;
  font-size: 1.5rem;
}
h5 {
  margin: 10px 0px;
  font-size: 1.25rem;
}
h6 {
  margin: 10px 0px;
  font-size: 1rem;
}

.pre,
pre {
  display: flex;
  white-space: pre;
  line-height: 0.8;
  font-size: min(2.1vw, 1rem);
}
.pre_small {
  font-size: min(1.5vw, 0.7rem);
}

a {
  word-break: break-all;
}