@font-face {
    font-family: 'DejaVuSansMono';
    src: url('/fonts/DejaVuSansMono.woff') format('woff');
}
* {
    font-family: 'DejaVuSansMono', monospace;
}
body {
	color: white;
	background: black;
}
a {
	color: #fce12f;
	text-decoration: none;
}