@font-face {
  font-family: 'Berkeley Mono';
  src: url(../fonts/BerkeleyMono-Regular.woff2) format(woff2),
       url(../fonts/BerkeleyMono-Regular.woff)  format(woff);
}
@font-face {
  font-family: 'Berkeley Mono Ligatures';
  src: url(../fonts/BerkeleyMonoLigatures-Regular.woff2) format(woff2),
       url(../fonts/BerkeleyMonoLigatures-Regular.woff)  format(woff);
}

/*
p  { font-family: "Roboto", sans-serif; line-height: 1.5; }
tr { font-family: "Roboto", sans-serif; line-height: 1.5; }
ul { font-family: "Roboto", sans-serif; line-height: 1.5; }
h1 { font-family: Arial; color: #343bc2; }
h2 { font-family: Arial; color: #343bc2; }
h3 { font-family: Arial; color: #343bc2; }
*/

html {
  box-sizing:  border-box;
  font-family: "Berkeley Mono", monospace;
  /* font-size:   16px; */
}

.content {
  max-width: 1100px;
  margin: auto;
}

table {
  table-layout: fixed;
  width: 100%;
  border-collapse: collapse;
  border: 3px solid black;
}