JavaScript code for pants HTML reporting.

Auditors: markcc