/* The manual on the website and in the offline copy: the site's typeface. Everything else is the program's own reader. */
@font-face{font-family:"Inter";src:url("../../assets/fonts/InterVariable.woff2") format("woff2");font-weight:100 900;font-display:swap}
:root{--font:Inter,"Segoe UI Variable Text","Segoe UI",system-ui,-apple-system,sans-serif;--display:Inter,"Segoe UI Variable Display","Segoe UI",system-ui,-apple-system,sans-serif}
body{font-feature-settings:"cv11","ss01","ss03"}