Added a new CSS class to hidden annotations.

Also fixed a minor bug.