/* Book fonts adapted from the Timothy Vaughan SICM HTML edition. */

@font-face {
  font-family: "Linux Libertine O";
  src: url("linlib-r-subset.woff") format("woff");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Linux Libertine O";
  src: url("linlib-ri-subset.woff") format("woff");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "Linux Libertine O";
  src: url("linlib-rb-subset.woff") format("woff");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Linux Biolinum O";
  src: url("linbio-r-subset.woff") format("woff");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Linux Biolinum O";
  src: url("linbio-ri-subset.woff") format("woff");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "Linux Biolinum O";
  src: url("linbio-rb-subset.woff") format("woff");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Inconsolata LGC";
  src: url("incons-r-subset.woff") format("woff");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Inconsolata LGC";
  src: url("incons-ri-subset.woff") format("woff");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "Inconsolata LGC";
  src: url("incons-rb-subset.woff") format("woff");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "DejaVu Sans Mono";
  src: url("dejamono-r-subset.woff") format("woff");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}