@charset "UTF-8";
.nav > a, .top_nav > a, .toc > a
{
color: #663300;
font-family: Arial, Helvetica, sans-serif;
font-size: 12px;
font-weight: bold;
background-color: white;
cursor: pointer;
text-decoration:none;
}
.nav > a:hover, .top_nav > a:hover, .toc > a:hover
{
text-decoration:underline;
}

.toc0
{
display: block;
margin-left: 30pt

}

.toc1
{
display: block;
margin-left: 50pt
}


.toc2
{
display: block;
margin-left: 70pt
}

.toc > *:before
{
content: "• ";
}