a:link{text-decoration:none;color:#000033}
a:visited{text-decoration:none;color:#000033}
a:active{text-decoration:none;color:#000033}
a:hover{text-decoration:underline;color:#000033}
p{line-height:150%;}
a.navi:link{text-decoration:none;color:#333333}
a.navi:visited{text-decoration:none;color:#333333}
a.navi:active{text-decoration:none;color:#333333}
a.navi:hover{text-decoration:none;color:#990000}

div.back{font-size: 10pt; font-style:italic;}
div.navi_font{font-size: 10pt;}