Whole gavel2html