html {

color: #fffff8;
background-color: #101010;

}

div.contents .document_link {

color: #f8fff0;

} div.navigator .document_link {

color: #f0f8ff;

} div.subcontents .document_link {

color: #f8fff0;

} div.text .document_link {

color: #f8fff0;

}

// a { // color: inherit; // }

img {

border-width: 0px;
border-color: #7f7f7f;
border-style: solid;

}

pre {

background-color: #000000;
border: 1px #7f7f7f solid;

}