diff -r ef432015fdee -r c0f9521900bf java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java	Sat Jan 04 23:27:17 2014 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java	Sat Jan 04 23:39:38 2014 +0100
@@ -50,6 +50,7 @@
 	private static final TerminalColor ATTRIBUTE_NAME_COLOR = TerminalColor.Green;
 	private static final TerminalColor ATTRIBUTE_VALUE_COLOR = TerminalColor.Yellow;
 	private static final TerminalColor XML_DECLARATION_COLOR = TerminalColor.Red;
+	private static final TerminalColor XML_DOCTYPE_COLOR = TerminalColor.Cyan;
 	private Stack<QName> treePosition = new Stack<>();
 	private final ColorfulPrintWriter out;
 	private final String indent;
@@ -72,6 +73,10 @@
 		out.print(XML_DECLARATION_COLOR, "<?xml version=\"1.0\" encoding=\"" + Charset.defaultCharset().name() + "\"?>");
 	}
 
+	protected void printDoctype(String doctype) {
+		out.print(XML_DOCTYPE_COLOR, "\n<!DOCTYPE " + doctype + ">");
+	}
+
 	protected void printEndDocument() {
 		out.println();
 		out.flush();