a nonzero scroll margin seems to screw up search