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 {
    display: inline-block;
    overflow: auto;
    box-sizing: border-box;
    max-width: calc(100% - 4em);
    margin: 0 0 0 4em;
    padding: 5px;
    border: 1px solid brown;
    background: LightYellow;
}
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;
}