@font-face {
  font-family: CMU;
  font-style: normal;
  font-weight: normal;
  src: url('cm-unicode-0.7.0/cmunrm.ttf') format(truetype);
  font-display: swap;
}

@font-face {
  font-family: CMU;
  font-style: normal;
  font-weight: bold;
  src: url('cm-unicode-0.7.0/cmunrb.ttf') format(truetype);
  font-display: swap;
}

@font-face {
  font-family: CMUTT;
  font-style: normal;
  font-weight: normal;
  src: url('cm-unicode-0.7.0/cmuntt.ttf') format(truetype);
  font-display: swap;
}

html {
  background: black;
}

body {
  font-family: CMU, sans-serif;
  max-width: 8.5in;
  margin: auto;
  background: white;
}

div.body-inner {
  max-width: 6.5in;
  margin: auto;
  padding-top: 0.5in;
  padding-bottom: 0.5in;
  padding-left: 6pt;
  padding-right: 6pt;
}

h1 {
  text-align: center;
  margin-bottom: 0.5in;
  margin-top: 0pt;
  font-weight: normal;
}

p {
  margin-top: 6pt;
  margin-bottom: 6pt;
  text-align: justify;
}

div.button {
  text-align: center;
  margin-top: 6pt;
}

p.button {
  display: inline-block;
  border: 2pt solid cyan;
  margin: auto;
  cursor: pointer;
}

kbd {
  font-family: CMUTT, sans-serif;
}

math {
  margin-top: 6pt;
  margin-bottom: 6pt;
}

div.figure-1 {
  display: block;
  margin: auto;
  margin-top: 0.5in;
  width: calc(3in + 2px);
  height: calc(3in + 2px);
  background:
    repeating-linear-gradient(
      to bottom,
      black 0 2px,
      transparent 2px 1.5in),
    repeating-linear-gradient(
      to right,
      black 0 2px,
      transparent 2px 1.5in),
    repeating-linear-gradient(
      to bottom,
      gray 0 1px,
      transparent 1px 0.15in),
    repeating-linear-gradient(
      to right,
      gray 0 1px,
      transparent 1px 0.15in);
}

div.figure-2 {
  display: block;
  margin: auto;
  margin-top: calc(0.5in + 2px);
  width: calc(3in + 2px);
  height: 0.25in;
  background:
    repeating-linear-gradient(
      to bottom,
      transparent 0 0.125in,
      black 0.125in calc(0.125in + 2px)),
    repeating-linear-gradient(
      to right,
      black 0 2px,
      transparent 2px 1.5in),
    repeating-linear-gradient(
      to right,
      gray 0 1px,
      transparent 1px 0.15in);
}

div.caption {
  max-width: 4in;
  margin: auto;
  margin-top: 12pt;
}

div.results {
  display: none;
}

p.error {
  display: none;
  color: red;
  text-align: center;
}

div.figure-1, div.figure-2 {
  position: relative;
}

div.f1chase, div.f1benji, div.f2chase, div.f2benji, div.f1you, div.f2you {
  background-color: black;
  border-radius: 6pt;
  width: 12pt;
  height: 12pt;
  position: absolute;
}

div.f1chase {
  top: calc(-6pt + 3in);
  left: calc(-6pt + 1px + 3in);
  background-color: brown;
}

div.f1benji {
  left: calc(-6pt + 1px);
  top: calc(-6pt);
  background-color: green;
}

div.f1you {
  top: calc(-6pt + 1.5in);
  left: calc(-6pt + 1px + 1.5in);
  background-color: mediumblue;
}

div.f2chase {
  top: calc(-6pt + 0.125in);
  left: calc(-6pt + 1px);
  background-color: brown;
}

div.f2benji {
  top: calc(-6pt + 0.125in);
  left: calc(-6pt + 1px + 3in);
  background-color: green;
}

div.f2you {
  top: calc(-6pt + 0.125in);
  left: calc(-6pt + 1px + 1.5in);
  background-color: mediumblue;
}