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; background-color: #000000; color: #ffffff; list-style-type: none; font-family: monospace; font-size: 11px; padding: .5em; overflow: auto; } .terminal a:link { color: #FFFF00; } .terminal a:visited { color: #FFFF00; } .file { margin: 5px; margin-left: 0px; border: 1px dashed black; background-color: #ffffff; color: #000000; list-style-type: none; font-family: monospace; font-size: 11px; padding: .5em; overflow: auto; } .description { margin: 5px; margin-left: 0px; background-color: #ffffff; color: #000000; list-style-type: none; font-family: monospace; font-size: 11px; padding: .0em; overflow: auto; } .program { margin: 5px; margin-left: 0px; border: 1px dashed black; background-color: #ffffff; color: #000000; list-style-type: none; font-family: monospace; font-size: 11px; padding: .5em; overflow: auto; }