html/annotate.html: cosmetics