Annotations are currently documented with <pre> tags. Some of the tags have new lines, which causes too much vertical space.