body, frameset { background-color: ivory; }
body {
    padding: 0 10px 0 10px;
    max-width: 800px;
    margin: 0 auto;
}

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

#contents {
    max-width: 500px;
    margin: 0 auto;
    padding: 5px 0;
    background: cornsilk;
    border: 1px solid red;
    border-radius: 10px;
}

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