1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:27:17 2014 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:39:38 2014 +0100
     1.3 @@ -39,6 +39,7 @@
     1.4  public class XhtmlFormatter extends AbstractXmlFormatter {
     1.5  
     1.6  	public static final String NAME = "xhtml"; // bash-completion:formatter
     1.7 +	private static final String DOCTYPE = "html PUBLIC \"-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN\" \"http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd\"";
     1.8  	private static final String CSS_FILE = "info/globalcode/sql/dk/formatter/XhtmlFormatter.css";
     1.9  	private int resultSetCounter = 0;
    1.10  	private int updatesResultCounter = 0;
    1.11 @@ -61,6 +62,7 @@
    1.12  	public void writeStartBatch() {
    1.13  		super.writeStartBatch();
    1.14  		printStartDocument();
    1.15 +		printDoctype(DOCTYPE);
    1.16  		Map<QName, String> attributes = new HashMap<>(1);
    1.17  		attributes.put(qname("xmlns"), Xmlns.XHTML);
    1.18  		printStartElement(qname("html"), attributes);