make clicking the gutter annotations more obvious (use anchor and make
the scroll-to quicker so that the annotation details show without being
chopped off the screen)