chris@1: body 
chris@1: {
chris@1:     font-family: Liberation Sans,Verdana,sans-serif;
chris@1:     font-size: 11pt;
chris@1: }
chris@1: 
chris@1: .screen {
chris@1:         font-family: monospace;
chris@1:         font-size: 1em;
chris@1:         display: block;
chris@1:         padding: 10px;
chris@1:         border: 1px solid #bbb;
chris@1:         background-color: #eee;
chris@1:         color: #000;   
chris@1:         overflow: auto;
chris@1:         border-radius: 2.5px;
chris@1:         -moz-border-radius: 2.5px;
chris@1:         margin: 0.5em 2em;
chris@1:  
chris@1: }
chris@1: 
chris@1: .programlisting {
chris@1:         font-family: monospace;
chris@1:         font-size: 1em;
chris@1:         display: block;
chris@1:         padding: 10px;
chris@1:         border: 1px solid #bbb;
chris@1:         background-color: #ddd;
chris@1:         color: #000;   
chris@1:         overflow: auto;
chris@1:         border-radius: 2.5px;
chris@1:         -moz-border-radius: 2.5px;
chris@1:         margin: 0.5em 2em;
chris@1: }
chris@1: