website/style.css

/* Dark mode */
@media (prefers-color-scheme: dark) {
  body {
    background-color: #111111;
    color: #cccccc;
  }

  a:link {
    color: #3eab86;
  }

  a:visited {
    color: #4bd1a3;
  }
}

body {
  font-family: DejaVu Sans Mono, Noto Sans Mono, Hack, monospace;
  width: 720px;
  margin-left: auto;
  margin-right: auto;
  text-align: center;

  /* Disable font boosting */
  -webkit-text-size-adjust: none;
  -moz-text-size-adjust: none;
  -ms-text-size-adjust: none;
}

pre {
  font-family: DejaVu Sans Mono, Noto Sans Mono, Hack, monospace;
}

h4 {
  text-align: left;
}

p {
  text-align: left;
  line-height: 150%;
}

input {
  font-family: DejaVu Sans Mono, Noto Sans Mono, Hack, monospace;
  display: block;
  margin: auto;
  margin-top: 1em;
  margin-bottom: 1em;
}

.emoji {
  font-size: 3em;
}

.slogan {
  text-align: center;
  font-size: 1.125em;
}

.icon {
  height: 3em;
  width: 3em;
  float: left;
  padding-right: 1em;
}

.info {
  margin: auto;
  text-align: left;
  background: lightgreen;
  color: black;
  padding: 10px;
  width: 360px;
}