added jquery-ui for highlighting