body {
    background: black;
    color: #bbbbbb;
}

/* Switch to light mode if the user prefers it */
/*
@media (prefers-color-scheme: light) {
  body {
    background-color: #ffffff;
    color: #000000;
  }
}
*/

button {
  background: black;
  outline: 0;
  border: 1px solid #bbbbbb;
  color: #bbbbbb;
  padding: 8px;
  width: 5vh;
}

a {
  color: #bbbbbb;
}

pre {
  font-family: "monospace";
  font-size: 90%;
}
/*    font-family: source_code_proregular; */

/*
font-family: Courier New,Courier,Lucida Sans Typewriter,Lucida Typewriter,monospace;
font-size: 70%;
*/