body {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
}
.opensans {
  font-family: "Open Sans", sans-serif;
  font-optical-sizing: auto;
  font-weight: normal;
  font-style: normal;
  font-variation-settings: "wdth" 100;
}
.elide-banner {
  color: purple;
  box-sizing: border-box;
  -webkit-user-select: none;
  user-select: none;
  margin-left: auto;
  padding: 20px;
  font-size: large;
}
.instructions {
  display: none;
}