gremlin.js highlighting