/* The two pixel fonts, served from pedalpixel.com itself (session 19: no request to Google for every visitor, and they
   work offline). Press Start 2P and VT323, SIL Open Font License 1.1 (OFL-*.txt beside them); Latin and Latin Extended. */
@font-face { font-family: 'Press Start 2P'; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/press-start-2p-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'Press Start 2P'; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/press-start-2p-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
/* The symbols Press Start 2P doesn't have (▶ ◀ ✕ ✓ ✂ ⧉ − ★ ♥ ⌘ …), drawn on its own 7 x 7 grid by design/symbol_font.py
   (Oct 15: they had come from other fonts, thin, the wrong size or a dot). Our own pixels; declared last, so for these
   characters it's the face tried first, and every pixel-font label and canvas picks them up with no other change. */
@font-face { font-family: 'Press Start 2P'; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/pp-symbols.woff2) format('woff2');
  unicode-range: U+2190, U+2192, U+2197, U+21B3, U+21B6, U+21B7, U+21BA, U+21BB, U+21C4, U+21E7, U+2212, U+2295, U+22C8, U+22EE, U+22EF, U+2303, U+2316, U+2318, U+2325, U+23EE, U+23F8, U+25A0, U+25A2, U+25A4, U+25A6, U+25B2, U+25B4, U+25B6, U+25B8, U+25BC, U+25BE, U+25C0, U+25C2, U+25C6, U+25CE, U+25CF, U+25D0, U+25EF, U+2605, U+2665, U+266A, U+266B, U+2699, U+26A0, U+2702, U+270E, U+2713, U+2715, U+2717, U+2726, U+275A, U+27F2, U+2913, U+2922, U+29C9, U+FF0B; }
@font-face { font-family: 'VT323'; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/vt323-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'VT323'; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/vt323-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }