#navbar .sub_bba
{
  display: inline;
}

.highlight
{
  font-weight: bold;
  color: rgb(0,0,0)
}

pre
{ 
  font-size: 12pt;
}