.programlisting
{
  color: #00663d;  
  background-color: #aaaaaa;
}
.RedHint
{
  color:#FF0000;
  background-color:#aaaaaa;
}