Refined XML-to-HTML conversion