A { 
   font-weight: bold;
   color: #0000CC;
}

A:hover {
   color: #CC0000;
}

pre.code {
   color: #660099;
   margin-left:5%;
}

code {
color: #660099;
}

#sectionHeading {
   font-weight: bold;
   font-size: 11pt;
   color: #333399;
}

#regular {
  font-weight: normal;
  font-family: Arial, Helvetica, sans-serif;
  color: black;
  font-size: 10pt;
}

#dev {
  font-weight: normal;
  font-family: Arial, Helvetica, sans-serif;
  color: #333399;
  font-size: 8pt;
}