p {
    text-align: justify;
}

li {
    text-align: justify;
}

td.navi_left {
    vertical-align:top;
}

pre {
    background: #eeeeee
}

a:hover {
    color:#101010;
    text-decoration:none;
}


body {
    font-family:Helvetica, Arial, sans-serif;
    background-color:#fafafa;
    color:#000000;
    margin:0px;
    padding:0px;
    border-width:0px;
    font-weight:normal;
    letter-spacing:1px;	
}


div.last_change {
    color:#988;
    font-size:smaller;
}