p.code
  {font-family:"Courier New";
   font-size:10.0pt;}

span.code-bold
  {font-family:"Courier New";
   font-size:10.0pt;
   font-weight:bold;}

span.reserved-word
  {font-family:"Courier New";
   font-size:10.0pt;
   font-weight:bold;}

span.green-expression
  {font-family:"Courier New";
   font-size:10.0pt;
   color:green;
   font-style:italic;}

span.numeric-literal
  {font-family:"Courier New";
   font-size:10.0pt;
   color:green;}

span.string-literal
  {font-family:"Courier New";
   font-size:10.0pt;
   color:red;}

span.char-literal
  {font-family:"Courier New";
   font-size:10.0pt;
   color:magenta;}

span.type-name
  {font-family:"Courier New";
   font-size:10.0pt;
   color:darkgoldenrod;}

span.object-name
  {font-family:"Courier New";
   font-size:10.0pt;
   color:lightcyan;}

span.variable-name
  {font-family:"Courier New";
   font-size:10.0pt;
   color:magenta;}

td.code
  {font-family:"Courier New";
   font-size:10.0pt;}

td.info-category
  {font-family:"Courier New";
   font-size:10.0pt;
   font-weight:bold;}

div.code
  {background:lightgrey;}

div.sample
  {background:black;}