/* all text */BODY{    /* most of this stuff is repeated in <body>, for older browsers */    font-family: Arial, Helvetica, sans-serif;    color: #000000;    background-color: #ffffff;}/* all links */a{    font-weight: bolder;    text-decoration: none;}/* all unvisited links */a:link{    color: #0000ff;}/* all visited links */a:visited{    color: #0000ff;}/* all currently selected links */a:active{    color: #ff0000;}/* mouseover links */a:hover{    color: #008800;    text-decoration: underline;}/* all text in the navigate area */span.navigate{    font-family: Verdana, Arial, Helvetica, sans-serif;    color: #000000;}span.navigate a{    font-variant: small-caps;    font-size: x-small;}/* all unvisited links */span.navigate a:link{    color: #0000ff;}/* all visited links in the navigate area */span.navigate a:visited{    color: #0000ff;}/* all currently selected links in the navigate area */span.navigate a:active{    color: #ff0000;}/* mouseover links in the navigate area */span.navigate a:hover{    color: #008800;    text-decoration: underline;}