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