HTML generator for Threft