[PATCH] Docbook: use custom stylesheet