/* style for links in menu */

body.index {
display:block;
margin-left:15px;
background:white;
}

div.strong {
display:block;
width:150px;
margin:15 0 10 0;
font-size:10pt;
font-weight:bold;
color:darkblue;
}

div.stronger {
display:block;
width:150px;
margin:15 0 10 0;
font-size:12pt;
font-weight:bold;
color:darkblue;
}

div.strongest {
display:block;
width:150px;
margin:15 0 15 0;
font-size:16pt;
font-weight:normal;
color:darkblue;
}

a:link,a:active,a:visited {
display: block;
width:160px;
border-bottom: 1px solid black;
border-left: 0px solid black;
font-family:arial,sans-serif;
font-size:8pt;
padding-left:4px;
text-decoration: none;
color:darkblue;
background:#f2f2f2;
}

a:hover {
display:block;
width:160px;
border-bottom: 1px solid black;
border-left: 0px solid black;
font-size: 8pt;
padding-left: 4px;
text-decoration: none;
color:darkblue;
background:white;
}