div#body {
        background: #ffffff;
        color: #000000;
        margin: 30px;
        padding: 20px;
        border: 1px solid;
}

body {
        background: #deba73;
        color: #000000;
        margin-left: 20px;
        font-family: bitstream vera sans,sans-serif;
        font-size: 9pt;
}

h1 {
        font-family: luxi sans,sans-serif;
        font-size: 20pt;
}

h2 {
        font-family: luxi sans,sans-serif;
        font-size: 16pt;
}

h3 {
        font-family: luxi sans,sans-serif;
        font-size: 9pt;
}

.question {
        font-family: luxi sans,sans-serif;
        font-size: 12pt;
        font-weight: bold;
}

.terminal {
        margin: 5px;
        margin-left: 0px;
        border: 1px solid black;
        list-style-type: none;
        font-family: monospace;
        font-size: 11px;
        padding: .5em;
        overflow: auto;
}

.file {
        margin: 5px;
        margin-left: 0px;
        border: 1px dashed black;
        list-style-type: none;
        font-family: monospace;
        font-size: 11px;
        padding: .5em;
        overflow: auto;
}

.description {
        margin: 5px;
        margin-left: 0px;
        list-style-type: none;
        font-family: monospace;
        font-size: 11px;
        padding: .0em;
        overflow: auto;
}

.program {
        margin: 5px;
        margin-left: 0px;
        border: 1px dashed black;
        list-style-type: none;
        font-family: monospace;
        font-size: 11px;
        padding: .5em;
        overflow: auto;
}