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