/*
     FILE ARCHIVED ON 11:01:10 Jun 9, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 11:58:05 Aug 18, 2016.
     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 { 
	font-family: Georgia, Times New Roman, Times, Sans-Serif; 
	background-color: #ffffff; 
	font-size: small
}
blockquote
{ 
margin-top: 0 
}

h1           { font-family: Verdana, Arial, Sans-Serif; color: #336600; font-weight: bold }
h2           { font-family: Verdana, Arial, Sans-Serif; color: #336600; font-weight: bold; margin-bottom: 0 }
h3           { font-family: Verdana, Arial, Sans-Serif; color: #336600; font-weight: bold; margin-bottom: 0 }
h5           { font-family: Verdana, Arial, Sans-Serif; color: #ffffdf; font-weight: bold; margin-bottom: 0 }
p            { font-family: Georgia, Times New Roman, Times, Sans-Serif; margin-top: 0 }
a            { font-family: Verdana, Arial, Helvetica, Sans-Serif; color: #993300; text-decoration: underline }
a:visited    { color: #008000; text-decoration: underline }
a:hover      { color: #001600; text-decoration: underline; background-color: #ffff99 }
a:active     { color: #001600; text-decoration: underline }

A.sideanchor:hover { 
	background-color: #008000
	}
DIV.maintext { 
	margin-left: 2em; margin-right: 2em 
}