defunctzombie/zuul — pull request #39 by thlorenz (2014-01-23 21:34:38+00:00)
Title: Revamp trace anchors

- clicking on a trace will show an input with text selected, ready to copy
- clicking away will hide it again
- added necessary styles

- shimming ES5 features (without leaking shims) for highlight.js