body, frameset { background-color: ivory; }

body { padding: 0 10% 0 10%; }

p.nav { text-align: center; }

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;

}