/* Generated by Font Squirrel (http://www.fontsquirrel.com) on January 30, 2011 08:34:54 PM America/New_York */



@font-face {
	font-family: 'DejaVuSansMonoBook';
	src: url('DejaVuSansMono-webfont.eot');
	src: local('☺'), url('DejaVuSansMono-webfont.woff') format('woff'), url('DejaVuSansMono-webfont.ttf') format('truetype'), url('DejaVuSansMono-webfont.svg#webfontsb7bS26H') format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSansMonoOblique';
	src: url('DejaVuSansMono-Oblique-webfont.eot');
	src: local('☺'), url('DejaVuSansMono-Oblique-webfont.woff') format('woff'), url('DejaVuSansMono-Oblique-webfont.ttf') format('truetype'), url('DejaVuSansMono-Oblique-webfont.svg#webfont2SU9iLPc') format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSansMonoBold';
	src: url('DejaVuSansMono-Bold-webfont.eot');
	src: local('☺'), url('DejaVuSansMono-Bold-webfont.woff') format('woff'), url('DejaVuSansMono-Bold-webfont.ttf') format('truetype'), url('DejaVuSansMono-Bold-webfont.svg#webfontSV2LEIkv') format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSansMonoBoldOblique';
	src: url('DejaVuSansMono-BoldOblique-webfont.eot');
	src: local('☺'), url('DejaVuSansMono-BoldOblique-webfont.woff') format('woff'), url('DejaVuSansMono-BoldOblique-webfont.ttf') format('truetype'), url('DejaVuSansMono-BoldOblique-webfont.svg#webfontvbRuUbXf') format('svg');
	font-weight: normal;
	font-style: normal;
}