refine the typesetting of edit.html