/* Locally bundled open fonts; licenses in assets/fonts. */
@font-face{font-family:"Noto Sans";font-style:normal;font-weight:400 500;font-display:swap;src:url("fonts/noto-sans-regular.woff") format("woff")}
@font-face{font-family:"Noto Sans";font-style:normal;font-weight:700 900;font-display:swap;src:url("fonts/noto-sans-bold.woff") format("woff")}
@font-face{font-family:"Noto Serif";font-style:normal;font-weight:400 500;font-display:swap;src:url("fonts/noto-serif-regular.woff") format("woff")}
@font-face{font-family:"Noto Serif";font-style:normal;font-weight:700 900;font-display:swap;src:url("fonts/noto-serif-bold.woff") format("woff")}
@font-face{font-family:"DejaVu Sans Mono";font-style:normal;font-weight:400 500;font-display:swap;src:url("fonts/dejavu-mono-regular.woff") format("woff")}
@font-face{font-family:"DejaVu Sans Mono";font-style:normal;font-weight:700 900;font-display:swap;src:url("fonts/dejavu-mono-bold.woff") format("woff")}