@font-face {
  font-family: "BerkeleyMono";
  src: url("BerkeleyMono-Regular.woff2");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: "BerkeleyMono";
  src: url("BerkeleyMono-Bold.woff2");
  font-weight: bold;
  font-style: normal;
}

html {
  font-family: "BerkeleyMono", monospace;
  font-weight: normal;
  font-style: normal;
  font-size: 1em;
  line-height: 1.5em;
}

body {
  margin: 1em 1em 1em 1em;
}

h1 {
  font-size: 2em;
  font-weight: bold;
  line-height: 2em;
}

h2 {
  font-size: 1.414em;
  font-weight: bold;
  line-height: 1.414em;
}

h3 {
  font-size: 1.155em;
  font-weight: bold;
  line-height: 1.155em;
}