body {
	font-family: Courier New, Courier, Monaco;
	color: #22DD44;
	background-color: #111111;
	margin:20px;
	width:850px;
}

a {
	color: #44FF66;	
}

p.dead a {
	color: #000000;	
}

a:hover {
	text-decoration:none;
}

a.hidden {
	color: #22DD44;
	text-decoration:none;	
}

p.command {
	margin-bottom:1px;	
	padding-bottom:1px;
	margin-top:2px;
}

p.dead {
	margin-bottom:1px;
	padding: 5px;	
	margin-top:2px;
	margin-left: -5px;
	background-color: #22DD44;
	color: #111111;
	font-weight: bold;
}