Simple XSL stylesheet for displaying pretty-printed XML as HTML