/*
     FILE ARCHIVED ON 0:58:56 Feb 14, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:26:34 Feb 22, 2014.
     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:0px;
padding:0px;
}
.nav {
background-color: #9988EE;
border: solid 1px black;
top: 0;
position: fixed;
width: 100%;
}
.nav a {
color: black;
font-weight:bold;
text-decoration:none;
padding-left: 3px;
padding-right: 3px;
}
.nav a:hover {
color: black;
font-weight:bold;
text-decoration:none;
background-color: #E4E3FF;
}
.right{float:right;}