@font-face
{
  font-family:"vt";
  src: url("vt220.eot");
  src: local("vt220"), url("vt220.woff") format("woff"),
       url("vt220.ttf") format("truetype");
}

* {
	font-size: 15pt;
	background: black;
	color: #008800;
	font-family: vt;
}


a {
	color: #0f0;
}

body > ul > li {
	list-style-type:none;
	margin-top: 12pt;
}

body > ul > li > a:first-child {
	color: #000000;
}

body > ul > li > a:first-child:before {
	content:"-->";
	color: #050;
}

blockquote {
	background-color: #030;
}

blockquote>b {
	background-color: #030;
}

blockquote>p {
	background-color: #030;
}

pre {
	color: #aa5500;
}