/* THE TYPE (his 2026-10-13: 'revert to the original default font and pin it so it is consistent across browsers'): the original look was the system monospace — Menlo on a Mac,
   which is Apple's build of DejaVu Sans Mono. DejaVu Sans Mono itself is free to redistribute (Bitstream Vera license), so it is self-hosted here and every browser sees the same face. */
@font-face{font-family:'DejaVu Sans Mono';font-style:normal;font-weight:400;font-display:swap;src:url(fonts/DejaVuSansMono-400.ace43659.woff2) format('woff2')}
@font-face{font-family:'DejaVu Sans Mono';font-style:normal;font-weight:700;font-display:swap;src:url(fonts/DejaVuSansMono-700.ab000e9e.woff2) format('woff2')}
:root{--mono:'DejaVu Sans Mono',Menlo,Consolas,ui-monospace,monospace}
body,nav a,.btn,button,input,select,h1,h2,h3,nav b,nav b a,#title{font-family:var(--mono)}