body
{
	background-color: #000000;
	color: #0ddc00;

	margin: 20px 20px 20px 20px;
}

#cursor
{
	color: #008800;
}

#contents
{
	margin: 0;
	padding: 0;
	white-space: pre;
	font-family: Monaco, monospace;
	font-size: 12px;
	line-height: 1.5em;
}

#contents A
{
	font-weight: bold;
color: #0ddc00;
}