3/10/13: change global A tag hover color