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;
}