/* nur Safari */

html* dl {
  margin-bottom: 1.8em;
}

html* dd {
  margin-top: 0.3em;
}

html* dt a:hover span {
  padding-top: 0.5em;
  top: 1.1em;
}

/* funktioniert hier nicht, daher nochmal am Ende von stylesheet.css eingefügt */

html* a.tooltip:hover span {
  padding-top: 0.7em;
  padding-left: 0.7em;
}