@font-face {
  font-family: Noto Sans Mono;
  src: url(font.ttf);
}

* {
  font-family: Noto Sans Mono;
}

@media screen and (max-width: 700px) {
  * {
    font-size: small;
  }
}

@media screen and (min-width: 700px) {
  * {
    font-size: x-large;
  }
}

@media (prefers-color-scheme: dark) {
  body {
    color: #a7a7a7;
    background: #1e1e1e;
  }
}

@media (prefers-color-scheme: light) {
  body {
    color: #464b50;
    background: #ffffff;
  }
}

a,
.copy {
  cursor: pointer;
  color: #7587a6;
}

a:active,
.copy:active {
  cursor: pointer;
  color: #9b859d;
}

.copy > .copy-tooltip {
  visibility: hidden;
  margin-left: 1em;
}

.copy:hover > .copy-tooltip {
  visibility: visible;
}