/* Make the text shrink to fit narrow windows, but not stretch too far in 
wide windows. */
div.content div
{
  max-width: 600px; /* Hack for IE6 */
  width: auto !important;
  width: 600px;
}

pre.codeinput
{
  /*background: #EEEEEE;*/
  padding: 10px;
}
@media print
{
  pre.codeinput
  {
    word-wrap: break-word;
    width: 100%;
  }
}

span.keyword
{
  color: #0000FF;
}
span.comment
{
  color: #228B22;
}
span.string
{
  color: #A020F0;
}
span.untermstring
{
  color: #B20000;
}
span.syscmd
{
  color: #B28C00;
}

pre.codeoutput
{
  color: #666666;
  padding: 10px;
}

pre.error
{
  color: red;
}

p.footer
{
  text-align: right;
  font-size: xx-small;
  font-weight: lighter;
  font-style: italic;
  color: gray;
}