body{
	background-color:#000000;
	color:#cccccc;
	font-size:x-small;
}
pre{
	line-height:200%;
	font-size:x-small;
}
.serif{
	color:lightblue;
}
a{
	color:#99CCFF;
	text-decoration: none;
}
a:hover{
	color:#000000;
	background-color:#ffffff
}

.copy{
	margin-top:100px;
}
.link{
	margin-bottom:100px;
}