Issue #87: Use Firebug pretty-print icon