pre
{
   font-family: "Courier New" , Courier, mono;
   font-size: 9pt;
   font-size-adjust: none;
   font-stretch: normal;
   font-style: normal;
   font-variant: normal;
   font-weight: normal;
   line-height: normal;
   overflow: auto !important;
   padding: 7pt;
   white-space: pre;
   border-color: #BBBBBB;
   border-style: dotted;
   border-width: 1px;
}
pre.yellowCode
{
   background-color: #FBEDBB;
}
pre.redCode
{
   background-color: #FBE0D5;
}
pre.blueCode
{
   background-color: #DAE0FB;
}