Set font with local check

You can check if a font is installed locally
before fetching it remotely, which is a good
performance tip, too.

@font-face {
font-family: "Dank Mono";
src:
    /* Full name */
    local("Dank Mono"),
    /* Postscript name */
    local("Dank Mono"),
    /* Otherwise, download it! */
    url("//...a.server/fonts/DankMono.woff");
}

code {
  font-family: "Dank Mono", system-ui-monospace;
}