body {
  font-weight: normal;
  background-color:white ;
}
hr { height:1pt; color:black }
span.cbracket {  }  
span.keyword  { font-weight:bold;color:brown; }
span.preproc  { font-weight:bold;color:brown; }
span.comment  { font-style:italic;color:green; }
span.normal   {  }
span.symbol   {  }
span.function { }
span.string   { color:blue }
span.number   { color:blue }
span.type     { font-weight:bold;color:brown }