html refinement