/* Generated by tools/fonts.py: don't edit by hand. The bundled fonts
   (fonts/, licenses in fonts/LICENSES/) and the font setting:
   <html data-font="..."> (lib/fonts.js, theme-init.js); none = the
   default, Droid Sans Mono. */

@font-face {
  font-family: "arisu Droid Sans Mono";
  src: url("fonts/droid-sans-mono-400.44416db58f.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu DejaVu Sans Mono";
  src: url("fonts/dejavu-sans-mono-400.ddd9e342c3.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu DejaVu Sans Mono";
  src: url("fonts/dejavu-sans-mono-700.d24fc29844.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu JetBrains Mono";
  src: url("fonts/jetbrains-mono-400.a95ee8b80a.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu JetBrains Mono";
  src: url("fonts/jetbrains-mono-700.6d784378ca.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Fira Code";
  src: url("fonts/fira-code-400.07670c03da.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Fira Code";
  src: url("fonts/fira-code-700.86ad9a8d6e.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Source Code Pro";
  src: url("fonts/source-code-pro-400.2ddec80299.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Source Code Pro";
  src: url("fonts/source-code-pro-700.3dac8d6587.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Cascadia Mono";
  src: url("fonts/cascadia-mono-400.0554fa6535.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Cascadia Mono";
  src: url("fonts/cascadia-mono-700.7b3b0b400f.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Hack";
  src: url("fonts/hack-400.51e53f9515.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Hack";
  src: url("fonts/hack-700.bc1d786997.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu IBM Plex Mono";
  src: url("fonts/ibm-plex-mono-400.ce3763b97c.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu IBM Plex Mono";
  src: url("fonts/ibm-plex-mono-700.a372f96503.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Ubuntu Mono";
  src: url("fonts/ubuntu-mono-400.ef4ae04328.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Ubuntu Mono";
  src: url("fonts/ubuntu-mono-700.46578df060.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Inconsolata";
  src: url("fonts/inconsolata-400.b3d8828f8c.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Inconsolata";
  src: url("fonts/inconsolata-700.aa07b648ec.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Roboto Mono";
  src: url("fonts/roboto-mono-400.df81c988ca.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Roboto Mono";
  src: url("fonts/roboto-mono-700.6a70b881a6.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Noto Sans Mono";
  src: url("fonts/noto-sans-mono-400.f6774f9248.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Noto Sans Mono";
  src: url("fonts/noto-sans-mono-700.7c1d71c292.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Space Mono";
  src: url("fonts/space-mono-400.56598a8036.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Space Mono";
  src: url("fonts/space-mono-700.675103baab.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Terminus";
  src: url("fonts/terminus-400.fa1285830e.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu Terminus";
  src: url("fonts/terminus-700.2eeb14451a.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: "arisu IBM VGA";
  src: url("fonts/ibm-vga-400.a2138570cb.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}

html { --font-family: "arisu Droid Sans Mono"; }
html[data-font="dejavu-sans-mono"] { --font-family: "arisu DejaVu Sans Mono"; }
html[data-font="jetbrains-mono"] { --font-family: "arisu JetBrains Mono"; }
html[data-font="fira-code"] { --font-family: "arisu Fira Code"; }
html[data-font="source-code-pro"] { --font-family: "arisu Source Code Pro"; }
html[data-font="cascadia-mono"] { --font-family: "arisu Cascadia Mono"; }
html[data-font="hack"] { --font-family: "arisu Hack"; }
html[data-font="ibm-plex-mono"] { --font-family: "arisu IBM Plex Mono"; }
html[data-font="ubuntu-mono"] { --font-family: "arisu Ubuntu Mono"; }
html[data-font="inconsolata"] { --font-family: "arisu Inconsolata"; }
html[data-font="roboto-mono"] { --font-family: "arisu Roboto Mono"; }
html[data-font="noto-sans-mono"] { --font-family: "arisu Noto Sans Mono"; }
html[data-font="space-mono"] { --font-family: "arisu Space Mono"; }
html[data-font="terminus"] { --font-family: "arisu Terminus"; }
html[data-font="ibm-vga"] { --font-family: "arisu IBM VGA"; --font-size: 16px; }
html[data-font="system"] { --font-family: monospace; }