style the foldMarker element to be slightly more salient. Added new tagRangeFinder module that seems to be more reliable than previous.