body {
         font-family: luxi sans,sans-serif;
}

.screen {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #eee;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
 
}

.programlisting {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #ddd;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}
.returnvalue {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #CFC;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}
.command {
  font-family: monospace;
  border-width: thin;
  border-color: black;
  border-style: solid;
  color: black;
  background-color: #FC9;
  margin: 1em;
  padding: 1em;
}
.informaltable { 
               border: outset 5pt; 
               border-collapse: separate;
               border-spacing: 15pt
 }


.caption {
	font-family: monospace;
	padding: 1 px;
	font-style: italic;
} 
.caution, .warning {
        border: 1px solid #f00;
}
.caution {
      font-size: 1.2em;
}