@font-face {
  font-family: CustomBerkeley;
  src: url(assets/BerkeleyMono-Regular.woff2);
}

@font-face {
  font-family: CustomBerkeley;
  src: url(assets/BerkeleyMono-Bold.woff2);
  font-weight: bold;
}

html {
  font-family: CustomBerkeley;
  background: #222;
  color: #bbb;
}

a {
  color: #ccc;
}


a:visited {
  color: #ccc;
}

div.code {
  background: #333;
  font-style: italic;
  white-space: preserve;
  border-style: solid;
  border-color: black;
  padding: 0;
  padding: 20px;
  margin-top: 10px;
}

div.nav {
  float: left;
  width: 10em;
  margin: 1em;
  padding: 1em;
}

div.nav img {
  width: 10em;
  margin-bottom: 1em;
}

div.content {
  padding: 1em;
  margin: 1em;
  max-width: 1000px;
}

/* Mobile: stack nav on top of content, enlarge logo and links */
@media (max-width: 768px) {
  div.nav {
    float: none;
    width: auto;
  }

  div.nav img {
    width: 12em;
  }

  div.nav a {
    font-size: 1.25em;
  }
}