/* ============================================================
   Global typography override
   Loaded after the main site stylesheet.
   ============================================================ */

@font-face {
  font-family: "STIX Two Text";
  src: url("../fonts/STIXTwoText-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "STIX Two Text";
  src: url("../fonts/STIXTwoText-Italic.woff2") format("woff2");
  font-weight: 400;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "STIX Two Text";
  src: url("../fonts/STIXTwoText-SemiBold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "STIX Two Text";
  src: url("../fonts/STIXTwoText-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Noto Serif JP";
  src: url("../fonts/NotoSerifJP-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
  unicode-range:
    U+3000-303F,
    U+3040-309F,
    U+30A0-30FF,
    U+31F0-31FF,
    U+3400-4DBF,
    U+4E00-9FFF,
    U+F900-FAFF,
    U+FF00-FFEF;
}

@font-face {
  font-family: "Noto Serif JP";
  src: url("../fonts/NotoSerifJP-SemiBold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
  unicode-range:
    U+3000-303F,
    U+3040-309F,
    U+30A0-30FF,
    U+31F0-31FF,
    U+3400-4DBF,
    U+4E00-9FFF,
    U+F900-FAFF,
    U+FF00-FFEF;
}

@font-face {
  font-family: "Noto Serif JP";
  src: url("../fonts/NotoSerifJP-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
  unicode-range:
    U+3000-303F,
    U+3040-309F,
    U+30A0-30FF,
    U+31F0-31FF,
    U+3400-4DBF,
    U+4E00-9FFF,
    U+F900-FAFF,
    U+FF00-FFEF;
}

:root {
  --serif: "STIX Two Text", "Noto Serif JP", "Yu Mincho", "Hiragino Mincho ProN", "Times New Roman", Times, serif;
  --serif-ja: "Noto Serif JP", "Yu Mincho", "Hiragino Mincho ProN", serif;
  --mono: "JuliaMono", "SFMono-Regular", Menlo, Consolas, monospace;
}

/* Main body */
html,
body,
.quarto-container,
.content,
main,
main p,
main li,
main td,
main th {
  font-family: var(--serif) !important;
}

/* Headings */
h1,
h2,
h3,
h4,
h5,
h6,
.title,
.quarto-title h1,
.quarto-title h2,
.quarto-title h3,
.navbar,
.navbar-brand,
.navbar-title,
.navbar-nav,
.navbar-nav .nav-link,
.navbar .dropdown-menu,
.navbar .dropdown-item {
  font-family: var(--serif) !important;
}

/* Code remains monospace */
code,
pre,
kbd,
samp,
.sourceCode {
  font-family: var(--mono) !important;
}

:lang(ja),
html:lang(ja),
[lang="ja"] {
  font-family: var(--serif-ja) !important;
}