/* Inter — local copy (SIL Open Font License), a variable font cut down to the characters the
   project renders with it: digits and the signs that travel with a number (rules 13.2). One
   declaration with the real weight range, so a number inside a bold title is really bold.
   Regenerating it: docs/p08/p08_speed.md. */
@font-face{font-family:"Inter";font-style:normal;font-weight:100 900;font-display:swap;src:url("inter-400-digits.woff2") format("woff2");unicode-range:U+0020, U+0025, U+0028-0029, U+002B-002F, U+0030-0039, U+003A, U+00A0, U+00D7, U+2009, U+2010, U+2013-2014, U+2212;}