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; }
.formula, .literal-block {
    margin: 0 0 0 4em;
    padding: 5px;
    border: 1px;
    border-style: solid;
    border-color: brown;
    background-color: LightYellow;
    overflow: auto;
}
table {
    border-collapse:collapse;
    margin-left:auto;
    margin-right:auto;
}
table, tr, td {
    border: 1px dotted maroon;
    background-color: cornsilk;
}
table tr td {
    margin: 3px;
    padding: 3px;
}

.cr { color: red; }
.cg { color: green; }

colgroup { display: none; }

pre span.keyword {
    color: blue;
}
pre span.function {
    color: brown;
}
pre span.literal {
    color: green;
}