@font-face {
    font-family: "IGBTMono";
    src: url("BIZUDGothic-Regular-strip.b9df10e927d6.woff2") format("woff2");
    font-style: normal;
    font-weight: 400;
    font-display: block;
}

@font-face {
    font-family: "IGBTMono";
    src: url("BIZUDGothic-Bold-strip.cfe1dbcaa8e8.woff2") format("woff2");
    font-style: normal;
    font-weight: 700;
    font-display: block;
}

@font-face {
    font-family: "IGBTMono";
    src: url("GenYoGothic2-JP-R-kanji.dbf5017950b0.woff2") format("woff2");
    font-style: normal;
    font-weight: 400;
    font-display: block;
    unicode-range:
        U+3400-4DBF,
        U+4E00-9FFF,
        U+F900-FAFF,
        U+20000-2A6DF,
        U+2A700-2B73F,
        U+2B740-2B81F,
        U+2B820-2CEAF,
        U+2CEB0-2EBEF,
        U+30000-3134F;
}

@font-face {
    font-family: "IGBTMono";
    src: url("GenYoGothic2-JP-R-kanji.dbf5017950b0.woff2") format("woff2");
    font-style: normal;
    font-weight: 700;
    font-display: block;
    unicode-range:
        U+3400-4DBF,
        U+4E00-9FFF,
        U+F900-FAFF,
        U+20000-2A6DF,
        U+2A700-2B73F,
        U+2B740-2B81F,
        U+2B820-2CEAF,
        U+2CEB0-2EBEF,
        U+30000-3134F;
}

html, body {
    font-family: "IGBTMono", monospace;
    font-synthesis: none;
    font-size: 0.95em;
}

/* UA sheets set these to a different face; inherit the page font. */
pre, code, kbd, samp, button, input, textarea, select {
    font-family: inherit;
}