@font-face {
	font-family: DejaVu Sans Mono;
	src: url(DejaVuSansMono.ttf);
  }