1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java	Sat Jan 04 23:27:17 2014 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java	Sat Jan 04 23:39:38 2014 +0100
     1.3 @@ -50,6 +50,7 @@
     1.4  	private static final TerminalColor ATTRIBUTE_NAME_COLOR = TerminalColor.Green;
     1.5  	private static final TerminalColor ATTRIBUTE_VALUE_COLOR = TerminalColor.Yellow;
     1.6  	private static final TerminalColor XML_DECLARATION_COLOR = TerminalColor.Red;
     1.7 +	private static final TerminalColor XML_DOCTYPE_COLOR = TerminalColor.Cyan;
     1.8  	private Stack<QName> treePosition = new Stack<>();
     1.9  	private final ColorfulPrintWriter out;
    1.10  	private final String indent;
    1.11 @@ -72,6 +73,10 @@
    1.12  		out.print(XML_DECLARATION_COLOR, "<?xml version=\"1.0\" encoding=\"" + Charset.defaultCharset().name() + "\"?>");
    1.13  	}
    1.14  
    1.15 +	protected void printDoctype(String doctype) {
    1.16 +		out.print(XML_DOCTYPE_COLOR, "\n<!DOCTYPE " + doctype + ">");
    1.17 +	}
    1.18 +
    1.19  	protected void printEndDocument() {
    1.20  		out.println();
    1.21  		out.flush();