/* Generated by docs/fonts/build_fonts.py from Nerd Fonts v3.5.1; do not edit.
 * Noto Sans and Noto Serif: SIL OFL 1.1. RobotoMono: Apache 2.0.
 * Symbols Nerd Font: MIT. License texts are in docs/fonts/. */

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Regular.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Regular.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Regular.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Regular.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Regular.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Italic.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Italic.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Italic.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Italic.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Italic.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-SemiBold.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-SemiBold.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-SemiBold.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-SemiBold.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-SemiBold.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Bold.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Bold.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Bold.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Bold.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-Bold.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-BoldItalic.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-BoldItalic.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-BoldItalic.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-BoldItalic.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Sans Nerd Font Propo";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSansNerdFontPropo-BoldItalic.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-SemiBold.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-SemiBold.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-SemiBold.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-SemiBold.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-SemiBold.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-Bold.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-Bold.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-Bold.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-Bold.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "Noto Serif Nerd Font Propo";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/NotoSerifNerdFontPropo-Bold.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Regular.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Regular.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Regular.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Regular.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Regular.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Italic.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Italic.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Italic.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Italic.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Italic.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Bold.latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Bold.latin-ext.woff2") format("woff2");
  unicode-range: U+0100-0130, U+0132-0151, U+0154-024F;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Bold.greek.woff2") format("woff2");
  unicode-range: U+0370-03FF, U+1F00-1FFF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Bold.symbols.woff2") format("woff2");
  unicode-range: U+2070-209F, U+2100-2121, U+2123-218F, U+2194-2211, U+2213-2214, U+2216-23FF, U+25A0-25FF;
}

@font-face {
  font-family: "RobotoMono Nerd Font";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/RobotoMonoNerdFont-Bold.ext.woff2") format("woff2");
  unicode-range: U+0250-02BA, U+02BD-02C5, U+02C7-02D9, U+02DB, U+02DD-0303, U+0305-0307, U+0309-0328, U+032A-036F, U+0400-1EFF, U+20A0-20AB, U+20AD-20FF, U+2400-259F, U+2600-DFFF, U+F900-FEFE, U+FF00-FFFC, U+FFFE-EFFFF;
}

@font-face {
  font-family: "Symbols Nerd Font";
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url("../fonts/SymbolsNerdFont-Regular.woff2") format("woff2");
  unicode-range: U+E000-F8FF, U+F0000-10FFFF;
}