Don't zoom UI lines when pixel doubling.

These changes keep the line width of the selection boxes / selection bars / range circles / target constant when zooming, which makes pixel doubling much more useable.