div.function
{
  font-size: 1.3em;
  font-weight: bold;
  line-height: 2em;  
}