Currently it is hard coded as 15 css pixels. But since we support zooming up to 10x this can become quite large on the screen. I tried just trying to make it 15 screen pixels by scaling by the expected zoom after zooming, but that seemed too small of margins, halfway between the two seemed okay.