body { color: #002010; background-color: #e8fff0; }
a:link { color: #0040e0; }
a:visited { color: #806000; }
a:active { color: #ff0000; }
a:hover { color: #ff8000; }

.unfloat{ clear: both; }

.hier{
font-size: 80%;
margin-top: 0.5em;
}
.pvc{
font-size: 80%;
}
.path{
font-size: 80%;
margin-top: 0.5em;
}

.title{
font-size: 100%;
text-align: center;
margin-top: 0.5em;
margin-bottom: 1.5em;
}

.suptitle{
font-size: 80%;
text-align: center;
}

.subtitle{
font-size: 80%;
text-align: center;
}

.info{
font-size: 90%;

width: 80%;
position: relative;
left: 10%;
border: ridge 2px #ffffff;
background-color: #d8f0e0;

padding: 0.2em;
margin-top: 0.5em;
margin-bottom: 0.5em;
}

.credit{
font-size: 80%;
}