<!--

span.error
  {
  color: #FFFF00;
  font-size: 16pt;
  font-weight: bold;
  }

span.searched
  {
  color: #FFFF00;
  }

span.span_enhanced
  {
  color: #A8A040;
  font-weight: bold;
  }

span.span_comment
  {
  color: #A8A040;
  font-style:italic;
  }

-->