/*
     FILE ARCHIVED ON 9:55:09 Jun 18, 2003 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 8:19:40 May 3, 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)).
*/
.text {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; font-weight: normal; color: #999999}
.highlight {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; color: #999999; font-weight: bold}