/*
     FILE ARCHIVED ON 6:00:25 Dec 22, 2014 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 13:30:15 Dec 11, 2015.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
body
{ 
	margin-left: 10%; 
	margin-right: 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;
}
div.box a{color: #224492;text-decoration: none;}
div.box a:hover{text-decoration:underline}

table tr td ul:first-child  {
	margin-top: 60px;
}