@import url('css2-a6dbc1309b.css');
@import url('css2-dde963001a.css');
@import url('css2-bef9dd3879.css');
@import url('latin-modern-math-650efc2d19.css');

/*======================================================================
   Fallback fonts -- check locally if CDN access is blocked. */
   @font-face{
    font-display: fallback;
    font-family: "Noto Sans Mono Fallback";
    font-style: normal;
    font-weight: 700;
    src: local("Noto Sans Mono Bold"),
         local("NotoSansMono-Bold"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Sans Mono Fallback";
    font-style: normal;
    src: local("Noto Sans Mono"),
         local("NotoSansMono-Regular"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Sans Fallback";
    font-weight: 700;
    font-style: italic;
    src: local("Noto Sans Bold Italic"),
         local("NotoSans-BoldItalic"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Sans Fallback";
    font-style: normal;
    font-weight: 700;
    src:  local("Noto Sans Bold"),
          local("NotoSans-Bold"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Sans Fallback";
    font-style: italic;
    src: local("Noto Sans Italic"),
         local("NotoSans-Italic"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Sans Fallback";
    font-style: normal;
    src: local("Noto Sans"),
         local("NotoSans-Regular"); }

  @font-face{
    font-display: fallback;
    font-family: "Noto Serif Fallback";
    font-weight: 700;
    font-style: italic;
    src: local("Noto Serif Bold Italic"),
         local("NotoSerif-BoldItalic"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Serif Fallback";
    font-style: normal;
    font-weight: 700;
    src: local("Noto Serif Bold"),
         local("NotoSerif-Bold"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Serif Fallback";
    font-style: italic;
    src: local("Noto Serif Italic"),
         local("NotoSerif-Italic"); }
  @font-face{
    font-display: fallback;
    font-family: "Noto Serif Fallback";
    font-style: normal;
    src: local("Noto Serif"),
         local("NotoSerif-Regular"); }