highlighting in Webkit & full-text resizing improved