better formatting of XML/XSD examples