span.lineNumber        {color:Teal; background-color: ; }
span.whitespace        {}
span.blockComment    {color:#33e153;}
span.lineComment      {color:#33e153;}
span.stringliteral  {color:#fa5353;}
span.integerLiteral{color:#fa5353;}
span.realLiteral      {color:#fa5353;}
span.booleanLiteral{color:#fa5353;}
span.otherLiteral    {color:#0066ff;}
span.builtinType      {color:#0066ff;}
span.keyword              {color:#0066ff;}
span.othertext          {color:#eeeeee;}
span.unknownchar      {color:#eeeeee;}
pre.codeHTML              {font-size:1.0em;}