implemented a simple filter for prettifying HTML for display