@font-face {
	font-family: 'BitstreamVeraSansMono-Roman';
	src: url('BitstreamVeraSansMono-Roman.woff2') format('woff2'),
	     url('BitstreamVeraSansMono-Roman.woff') format('woff'),
	     url('BitstreamVeraSansMono-Roman.ttf') format('truetype')
}