Convert output from Gavel to HTML