@font-face {
  font-family: "Linden Hill";
  src: url("../vendor/fonts/linden-hill/LindenHill-Regular.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Linden Hill";
  src: url("../vendor/fonts/linden-hill/LindenHill-Italic.woff2") format("woff2");
  font-style: italic;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Jost";
  src: url("../vendor/fonts/jost/Jost-VF.woff2") format("woff2");
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-A.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0041;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-B.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0042;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-C.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0043;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-D.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0044;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-E.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0045;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-F.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0046;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-G.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0047;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-H.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0048;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-I.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0049;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-J.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004A;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-K.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004B;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-L.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004C;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-M.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004D;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-N.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004E;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-O.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+004F;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-P.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0050;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-Q.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0051;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-R.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0052;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-S.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0053;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-T.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0054;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-U.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0055;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-V.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0056;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-W.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0057;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-X.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0058;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-Y.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+0059;
}

@font-face {
  font-family: "EB Garamond Initials F1";
  src: url("../vendor/fonts/eb-garamond-initials/f1-by-letter/EBGaramond-InitialsF1-Z.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: block;
  unicode-range: U+005A;
}

@font-face {
  font-family: "EB Garamond Initials F2";
  src: url("../vendor/fonts/eb-garamond-initials/EBGaramond-InitialsF2-LatinCaps.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  unicode-range: U+0041-005A;
}

body {
  font-family: "Linden Hill", Palatino, serif;
}

code {
  font-family: "Lucida Console", Monaco, monospace;
  font-size: 85%;
}

.menu,
.meta-line,
footer {
  font-family: "Jost", Optima, Candara, sans-serif;
}

.katex {
  font-size: 1.1em;
}