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: min(720px, 100%);
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

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

h4 {
  text-align: left;
}

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

.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: 1%;
  width: 50%;
}