html{
margin:0;
padding:0;
font-size: 80%;
}

body {
padding:0;
margin:0;
font-family: Arial, Helvetica, sans-serif;
}

/* CSS Document */

#col3navmenu, #pagecontrols, .footernav, #showhide, #skipnav {
	display: none;
}

dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */

dd p.prefix, dd p {
	margin-bottom: 0;
	padding-bottom: 0;
}







/*
     FILE ARCHIVED ON 22:05:33 Nov 29, 2020 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 19:35:59 Oct 6, 2025.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/