Formatting

[Geoff Smith]

Firstly I have to admit to being a PHP novice and I've found it very very
hard to work out what pretty_print is actually doing in order to modify it
to my own ends.

Have any of you folks got alternatives? I'm looking for a small compact
output format to goin a left hand side navigation bar.