more attractive HTML generation for examples