span.codex {font-family: arial, helvetica, sans-serif;
               font-size:11pt; 
               color:#000000}
li.terminal {font-family: arial, helvetica, sans-serif;
              font-size:11pt; 
              color:#000000; 
              background:#ffffff; 
              padding:5px; 
              margin:5px; 
              border-style:double; 
              border-color:#0000ff}
               
div.terminal {font-family: arial, helvetica, sans-serif;
              font-size:11pt; 
              color:#000000; 
              background:#ffffff; 
              padding:5px; 
              margin:5px; 
              border-style:double; 
              border-color:#0000ff}
div.terminallimited {font-family: arial, helvetica, sans-serif;
                     font-size:11pt; 
                     color:#ffffff; 
                     background:#000000; 
                     overflow:auto; 
                     width:500px; 
                     padding:5px; 
                     margin:5px; 
                     border-style:double; 
                     border-color:#ffffff}
div.regular {color:#000000; 
             font-size:11pt}