540: different style, rewrote annotated.html