body { background: #ddddff; }
h1 {
    font-size: 150%;
    font-variant: small-caps;
/*     text-transform: uppercase; */
    text-align: center;
}
pre { background: #ccccff; color: #000; }
.error { color: red; font-weight: bold; font-style: italic; }