html {
background-color: #f4f4f0; color: #080808;
}
div.contents .document_link {
color: #002040;
} div.navigator .document_link {
color: #204000;
} div.subcontents .document_link {
color: #002040;
} div.text .document_link {
color: #002040;
}
// a { // color: inherit; // }
img {
border-width: 0px; border-color: #000000; border-style: solid;
}
pre {
background-color: #fcfcfc; border: 1px #e0e0e0 solid;
}