:root {
  --black:  #000000;
  --white:  #FFFFFF;
  --gray:   #EDEDED;
  --green:  #00AE00;
  --red:    #FF4350;
  --yellow: #EBD700;
  --blue:   #4BB0FF;
}

html {
  font-family: courier, monospace;
  font-size: 133%;
  background-color: #303030;
}

div#main {
  max-width: 1000px;
  padding-left: 20px;
  padding-right: 20px;
  box-sizing: border-box;
}

hr {
  margin-top: 40px;
}

input {
  font-size: 100%;
  background-color: var(--gray);
  color: var(--black);
}
input#answer {
  margin-left: 40px;
}
input#submit {
  padding-left: 20px;
  padding-right: 20px;
  font-weight: bold;
  border-radius: 12px;
  border: 1.5px solid var(--black);
  cursor: pointer;
}
input#submit:hover:enabled {
  background-color: var(--white);
}

/* Shamelessly stolen from https://codepen.io/t_afif/pen/eYMbrJN */
.chat {
  --r: 1em;  /* the radius */
  --t: 1.5em; /* the size of the tail */
  
  padding: 1em;
  border-inline: var(--t) solid #0000;
  border-radius: calc(var(--r) + var(--t))/var(--r);
  mask: 
    radial-gradient(100% 100% at var(--_p) 0,#0000 99%,#000 102%) 
      var(--_p) 100%/var(--t) var(--t) no-repeat,
    linear-gradient(#000 0 0) padding-box;
  background: var(--black) border-box;
  color: var(--green);
  text-shadow: 0px 0px 3px var(--white);
}

.left {
  --_p: 0;
  border-bottom-left-radius: 0 0;
  place-self: start;
}

.right {
  --_p: 100%;
  border-bottom-right-radius: 0 0;
  place-self: end;
}

h1, h2, h3, h4 {
  font-family: gill sans, sans-serif;
  color: #C0C0C0;
}

span.hint {
  color: var(--yellow);
}

a {
  color: var(--yellow);
}

p.footnote {
  font-family: gill sans, sans-serif;
  color: #C0C0C0;
}