/* The manual's faces, the site's own: Geist and JetBrains Mono, served from /fonts, never swapped in after first
   paint. Overriding this file keeps mdBook's bundled fonts out of the build. */
@font-face { font-family: "Geist"; src: url("../../fonts/geist.woff2") format("woff2"); font-weight: 100 900; font-display: optional; }
@font-face { font-family: "JetBrains Mono"; src: url("../../fonts/jetbrains-mono.woff2") format("woff2"); font-weight: 100 800; font-display: optional; }
@font-face { font-family: "JetBrains Mono"; font-style: italic; src: url("../../fonts/jetbrains-mono-italic.woff2") format("woff2"); font-weight: 100 800; font-display: optional; }
@font-face { font-family: "Geist Fallback"; src: local("Helvetica Neue"), local("Arial"); size-adjust: 104.5%; ascent-override: 96%; descent-override: 28%; line-gap-override: 0%; }
@font-face { font-family: "JetBrains Mono Fallback"; src: local("Menlo"), local("SF Mono"), local("Consolas"), local("DejaVu Sans Mono"); size-adjust: 106%; ascent-override: 96.5%; descent-override: 24%; line-gap-override: 0%; }