refine HTML5.markdown