ol.instructions { 
      font-family: "DejaVu Sans", "Bitstream Vera Sans", Helvetica, Verdana, Arial, sans-serif; 
      margin-right: 2em;
      text-align: justify; 
      }

ol.subinstructions {
      list-style-type: lower-alpha; 
      }

.codebox {
      border: 2px solid #330099;
      margin-top: 0.5em;
      margin-bottom: 0.5em;
      background: white;
      padding: 0;
      }

.codeboxhead {
      font-weight: bold;
      padding: 0.25em;
      margin: 0;
      background: #330099;
      color: white;
      }

.codeboxcode {
      font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Andale Mono", "Lucida Console", monospace !important;
      padding: 0;
      padding-left: 0.75em;
      padding-bottom: 0.6em;
      overflow: auto;
      color: black;      
      }