/* sw-header 1.0.0: the bar's fonts (OFL, fonts/), for a host that does not already load these typefaces. A host that does
   declares the same three family names on its own files instead, so the browser downloads nothing twice (NAV.md). */
@font-face { font-family: "SWH Anton"; src: url("fonts/swh-anton-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "SWH Plex Cond"; src: url("fonts/swh-plex-cond-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "SWH Plex Cond"; src: url("fonts/swh-plex-cond-700.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "SWH Plex Mono"; src: url("fonts/swh-plex-mono-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }