| Name | Size | Description |
|---|---|---|
| profiler.png | 924 | image/png |
| minus.png | 655 | image/png |
| window.css | 570 | text/css |
| plus.png | 641 | image/png |
| deprecated.png | 603 | image/png |
| save.png | 911 | image/png |
| memory.png | 611 | image/png |
| up.png | 664 | image/png |
| tool.css | 633 | text/css |
| down.png | 668 | image/png |
| help.png | 793 | image/png |
| config.png | 629 | image/png |
| handler.css | 2755 | text/css |
| smallLogo.png | 6255 | image/png |
| handler.js | 315 | application/x-javascript |
| logo.png | 6934 | image/png |
| favicon.ico | 1150 | image/x-icon |
