/* Generated by scripts/build-fonts.py — do not edit by hand.
 * Language fonts, cut to the glyphs this site can actually show and
 * served from our own domain instead of fonts.googleapis.com. */

@font-face {
    font-family: "Noto Sans SC";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-sc.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans JP";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-jp.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans KR";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-kr.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans Thai";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-thai.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans Arabic";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-arabic.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans Devanagari";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans-devanagari.woff2") format("woff2");
}

@font-face {
    font-family: "Noto Sans";
    font-style: normal;
    font-weight: 900;
    font-display: swap;
    src: url("/fonts/noto-sans.woff2") format("woff2");
}