@font-face {
  font-family:"berkeley-mono";
  src:
    url("/fonts/BerkeleyMono-Regular.woff2") format("woff2"),
    url("/fonts/BerkeleyMono-Regular.woff") format("woff");
  font-display:auto;
  font-style:normal;
  font-weight:400;
  font-stretch:normal;
}
@font-face {
  font-family:"berkeley-mono";
  src:
    url("/fonts/BerkeleyMono-Bold.woff2") format("woff2"),
    url("/fonts/BerkeleyMono-Bold.woff") format("woff");
  font-display:auto;
  font-style:normal;
  font-weight:700;
  font-stretch:normal;
}
@font-face {
  font-family:"berkeley-mono";
  src:
    url("/fonts/BerkeleyMono-Italic.woff2") format("woff2"),
    url("/fonts/BerkeleyMono-Italic.woff") format("woff");
  font-display:auto;
  font-style:italic;
  font-weight:400;
  font-stretch:normal;
}
@font-face {
  font-family:"berkeley-mono";
  src:
    url("/fonts/BerkeleyMono-BoldItalic.woff2") format("woff2"),
    url("/fonts/BerkeleyMono-BoldItalic.woff") format("woff");
  font-display:auto;
  font-style:italic;
  font-weight:700;
  font-stretch:normal;
}