Fix the pip/tag/group decoration size when zooming.
Fix the rank chevron size when zooming.
Merge pull request #3945 from pchote/zoom-fix

Prevent pixel doubling of group / pip / tag / chevron decorations.