@font-face {
  font-family: DejaVuSansMono;
  src: local("DejaVu Sans Mono"),
       url(fonts/DejaVuSansMono.ttf);
}

@font-face {
  font-family: DejaVuSansMono;
  src: local("DejaVu Sans Mono Bold"),
       url(fonts/DejaVuSansMono-Bold.ttf);
  font-weight: bold;
}

div {
  text-align: center;
  font-family: DejaVuSansMono;
  font-size: 16px;
}

p {
  text-align: left;
  margin: auto;
  width: 720px;
  line-height: 24px; 
}

pre {
  font-family: DejaVuSansMono;
}