DocBook XML DTD.