pdf to djvu.
body, frameset { background-color: ivory; }
body { padding: 0 10% 0 10%; }
a { text-decoration:none; }
a:link { color: brown; }
a:visited { color: IndianRed; }
a:hover { background: bisque; border-radius: 10px; padding: 1px; }
p { text-indent: 2em; }
p:first-letter { font-weight: bold; }
.literal-block {
margin: 0 0 0 4em;
padding: 5px;
border: 1px;
border-style: solid;
border-color: brown;
background-color: LightYellow;
overflow: auto;
}
tt.literal {
background: LightYellow;
outline: 1px dotted orange;
padding: 1px;
}
table { border-collapse:collapse; margin-left:auto; margin-right:auto; }
table, tr, td { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; }
pre.code.keyword, pre.code.tag {
color: blue;
}
pre.code.string, pre.code.preproc {
color: green;
}
pre.code.name.decorator, pre.code.literal {
color: brown;
}
pre.code.comment {
color: magenta;
}
pre.code span.generic.prompt {
color: magenta;
}
pre.code span.generic.output {
color: gray;
}