Github user dkuppitz commented on the issue:
https://github.com/apache/tinkerpop/pull/766
@robertdale I like the look :) Do you want to give it a try and tweak the
CSS? I just took it from [here](https://codepen.io/JamieKDonnelly/pen/wBQQPK),
changed some colors and that's it. Maybe I just like the current look, because
it just worked and I didn't have to mess too much with the CSS stuff.---
