Questo manuale รจ scritto in XML usando il DocBook XML DTD e usando DSSSL ( Document Style and Semantic Specification Language ) per la formattazione