body {
  background-color: white;
}

A.toclink:link    { color: navy; text-decoration: none; }
A.toclink:active  { color: navy; text-decoration: none; }
A.toclink:visited { color: navy; text-decoration: none; }

A.toclinkhighlight:link    { color: white; text-decoration: none; }
A.toclinkhighlight:active  { color: white; text-decoration: none; }
A.toclinkhighlight:visited { color: white; text-decoration: none; }


.toclink {
	font-family:	'MS Sans Serif';
	font-size:	8pt;
}

.toclinkhighlight {
        padding: 1px 1px 1px 1px;
	font-family:	'MS Sans Serif';
	font-size:	8pt;
        background-color: navy;
}

.browsebutton {
  font-size: 8pt;
}
