/* Digits and number symbols always come from a system font, so they never turn into boxes
   even when the Inter web font loads only partly (blocked / slow Google Fonts). */
@font-face {
  font-family: "SP Digits";
  font-weight: 100 500;
  src: local("Arial"), local("Helvetica Neue"), local("Helvetica"), local("Liberation Sans"), local("Roboto"), local("Segoe UI"), local("DejaVu Sans");
  unicode-range: U+0020, U+0024-0025, U+0028-002F, U+0030-0039, U+003A, U+003D, U+20B9, U+20AC, U+00A3;
}
@font-face {
  font-family: "SP Digits";
  font-weight: 600 900;
  src: local("Arial Bold"), local("Arial-BoldMT"), local("Helvetica Bold"), local("Helvetica-Bold"), local("Liberation Sans Bold"), local("Roboto Bold"), local("Segoe UI Bold"), local("DejaVu Sans Bold");
  unicode-range: U+0020, U+0024-0025, U+0028-002F, U+0030-0039, U+003A, U+003D, U+20B9, U+20AC, U+00A3;
}
body, button, input, select, textarea {
  font-family: "SP Digits", Inter, "Segoe UI", Roboto, Arial, system-ui, sans-serif;
}

/* If Font Awesome could not load, hide the icons instead of showing empty boxes. */
html.no-fa i[class*="fa-"] { display: none !important; }