/* hebrew pages (D37): self-hosted, so a visit sends nothing to a font host. OFL 1.1, see OFL.txt. */
@font-face { font-family: "Frank Ruhl Libre"; font-style: normal; font-weight: 500; font-display: swap; src: url("/fonts/frank-ruhl-libre-500.woff2") format("woff2"); }
@font-face { font-family: "Frank Ruhl Libre"; font-style: normal; font-weight: 600; font-display: swap; src: url("/fonts/frank-ruhl-libre-600.woff2") format("woff2"); }
@font-face { font-family: "Heebo"; font-style: normal; font-weight: 400; font-display: swap; src: url("/fonts/heebo-400.woff2") format("woff2"); }
@font-face { font-family: "Heebo"; font-style: normal; font-weight: 500; font-display: swap; src: url("/fonts/heebo-500.woff2") format("woff2"); }
@font-face { font-family: "Heebo"; font-style: normal; font-weight: 600; font-display: swap; src: url("/fonts/heebo-600.woff2") format("woff2"); }
@font-face { font-family: "Heebo"; font-style: normal; font-weight: 700; font-display: swap; src: url("/fonts/heebo-700.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 400; font-display: swap; src: url("/fonts/jetbrains-mono-400.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 700; font-display: swap; src: url("/fonts/jetbrains-mono-700.woff2") format("woff2"); }