span.tip {
  color: #859F09;
  text-decoration: none;
  border-bottom: 1px dotted #859F09;
  cursor: help;
}
span.italic { font-style:italic }
span.bold { font-weight:bold; }