for (var i = 0; i < spans.length; ++i)
    { spans[i].marker.detachLine(line) }