pre {
    margin-left: 1em;
    margin-right: 1em;
    background-color: #eeeeee;
    padding: 0.2em 0.4em;
    overflow: auto;
}

pre.terminal {
    color: white;
    background-color: black;
}

.output { margin-left: 1em; margin-right: 1em; background-color: #eeeeee }

.prog-cmt { color: #0000aa }
.prog-kw { color: maroon }
.prog-mod { color: #ff7f33 }
.prog-type { color: #0000ff }
.prog-cl { color: #0000ff }
.prog-func { color: #0000ff }
.prog-prop { color: #ff7f33 }
.prog-var { color: #ff7f33 }
.prog-dec { color: #ff7f33 }
.prog-str { color: #bb0000 }

.prog-tag { color: #0000ff }