:root { color-scheme: light dark; }
@media print {
nav {
  display: none; }
body {
  margin: 0; }}
html {
  box-sizing: border-box; }
*, *:before, *:after {
  box-sizing: inherit; }
@media screen and (max-width: 30rem) {
p img {
  max-width: 100%; }}
body {
  margin: 0; padding: 0; border: 0;
  font-family: sans-serif; font-size: 1rem; }
a:link {
  color: aqua; }
a:visited {
  color: teal; }
a:active, a:hover {
  color: red; }
main {
  margin: 0; padding: 0; border: 0; display: block;
  text-align: left; margin-left: 0.5rem; margin-right: 0.5rem; }
header {
  margin: 0; padding: 0; border: 0; position: sticky; top: 0; }
footer {
  margin: 0; padding: 0; border: 0; font-size: 70%; margin-top: 1rem; }
img {
  display: block; border: 0; }
p {
  margin-left: 1rem; margin-right: 1rem; }
h1 {
  margin-bottom: 0; font-size: 120%; }
h2 {
  margin-bottom: 0; margin-left: 0.2rem; font-size: 110%; }
h3 {
  margin-bottom: 0; margin-left: 0.5rem; font-size: 105%; }
nav {
  top: 0; left: 0; width: 100%; z-index: 1;
  vertical-align: bottom; white-space: nowrap; overflow: hidden;
  color: white; background-color: rgb(100,100,100);
  line-height: 2rem; text-decoration: none;
  font-size: 95%; font-weight: bold; }
nav > label {
  display: inline-block; width: 100%; }
nav > label > svg {
  stroke: white; stroke-linecap: round; }
nav > input {
  display: none; }
nav > input + div {
  display: none; line-height: normal; white-space: nowrap; }
nav > input:checked + div {
  width: 100%; overflow: auto; display: block; }
nav > div > div {
  display: inline-block; vertical-align: top; }
nav ul {
  margin: 0; padding: 0.625rem; list-style: none;
  color: white; background-color: rgb(100,100,100); }
nav a {
  margin: 0; padding: 0.1rem;
  line-height: inherit; }
nav > img {
  vertical-align: middle; position: absolute; top: 0; right: 0;
  padding-left: 0.1875rem; background-color: rgb(100,100,100); }
nav > div, nav > div ul > li {
  padding: 0.2rem 0.2rem;
  color: white; background-color: rgb(100,100,100);
  text-decoration: none;
  font-size: 95%; font-weight: bold;
  font-style: italic; }
nav a:link, nav a:visited, nav a:active {
  color: white;
  background-color: rgb(100,100,100);
  text-decoration: none; display: block; }
nav a:hover {
  color: black;
  background-color: rgb(210,210,210);
  text-decoration: none; display: block; }
footer > div {
  float: left; padding-left: 0.3125rem; padding-right: 0.3125rem; }
button {
  border: 0.1rem solid; padding: 0.3rem 1rem;
  font-weight: bold; border-radius: 0.75rem; }
button:hover {
  color: red; }
textarea {
  display: block; width: 100%; height: 60vh; font-family: monospace;
  border: 0.1rem solid; padding: 1rem; resize: vertical;
  box-sizing: border-box; }