body
{ 
	margin-left: 10%; 
	margin-right: 10%; 
	margin-top: 10%;
	font-family: bitstream vera sans,sans-serif;
	background-color: #d9d9d9;
}
a:link { color: #900; }
a:visited { color: #48468f; }
a:hover { color: #f20; }

p,ul,pre
{
	margin-left: 10%;
}

div.box
{ 
	border: solid; 
	border-width: thin; 
	width: 100%; 
	background: gray;
	padding: 0.5em;
}