@font-face {
font-family: 'BitstreamVeraSansMonoRoman';
src: url('VeraMono-webfont.eot');
src: url('VeraMono-webfont.eot?#iefix') format('embedded-opentype'), url('VeraMono-webfont.ttf') format('truetype'), url('VeraMono-webfont.woff') format('woff'), url('VeraMono-webfont.svg#BitstreamVeraSansMonoRoman') format('svg');
font-weight: normal;
font-style: normal;
}