/* The fonts to choose from in Settings (views/settings.js), served with the app so they look the
   same on every device. A font is only downloaded when the page uses it. All SIL OFL: see OFL-*.txt.
   Fira and Noto are cut down to Latin (with Lithuanian), punctuation, arrows and box drawing. */
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800; font-display: swap; src: url("/fonts/jetbrains-mono.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: italic; font-weight: 100 800; font-display: swap; src: url("/fonts/jetbrains-mono-italic.woff2") format("woff2"); }

@font-face { font-family: "Fira Sans"; font-style: normal; font-weight: 400; font-display: swap; src: url("/fonts/fira-sans.woff2") format("woff2"); }
@font-face { font-family: "Fira Sans"; font-style: italic; font-weight: 400; font-display: swap; src: url("/fonts/fira-sans-italic.woff2") format("woff2"); }
@font-face { font-family: "Fira Sans"; font-style: normal; font-weight: 600; font-display: swap; src: url("/fonts/fira-sans-semibold.woff2") format("woff2"); }
@font-face { font-family: "Fira Sans"; font-style: normal; font-weight: 700; font-display: swap; src: url("/fonts/fira-sans-bold.woff2") format("woff2"); }
@font-face { font-family: "Fira Mono"; font-style: normal; font-weight: 400; font-display: swap; src: url("/fonts/fira-mono.woff2") format("woff2"); }
@font-face { font-family: "Fira Mono"; font-style: normal; font-weight: 500 600; font-display: swap; src: url("/fonts/fira-mono-medium.woff2") format("woff2"); }
@font-face { font-family: "Fira Mono"; font-style: normal; font-weight: 700; font-display: swap; src: url("/fonts/fira-mono-bold.woff2") format("woff2"); }

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

/* --sans for text, --mono for code and the tree, on every page (app.css, login.css). choice.js sets
   data-font from this device's choice before the page draws; JetBrains Mono is the default. */
:root {
  --sans: "JetBrains Mono", ui-monospace, "DejaVu Sans Mono", monospace;
  --mono: "JetBrains Mono", ui-monospace, "DejaVu Sans Mono", monospace;
}
:root[data-font="fira"] {
  --sans: "Fira Sans", system-ui, sans-serif;
  --mono: "Fira Mono", ui-monospace, monospace;
}
:root[data-font="noto"] {
  --sans: "Noto Sans", system-ui, sans-serif;
  --mono: "Noto Sans Mono", ui-monospace, monospace;
}