Update prettyLines.js