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