# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1388875474 -3600
# Node ID 3a24be5d8dac42c616a8c2ee8db5e6c86aff252d
# Parent  c0f9521900bfd0435b1de44de008bde6b46d3e0d
XHTML formatter: distinguish number and boolean

diff -r c0f9521900bf -r 3a24be5d8dac java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css
--- a/java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css	Sat Jan 04 23:39:38 2014 +0100
+++ b/java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css	Sat Jan 04 23:44:34 2014 +0100
@@ -32,6 +32,9 @@
 td.number {
 	text-align: right;
 }
+td.boolean {
+	text-align: right;
+}
 thead tr {
 	background: #ddd;
 	color:black;
diff -r c0f9521900bf -r 3a24be5d8dac java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:39:38 2014 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:44:34 2014 +0100
@@ -156,8 +156,10 @@
 
 	private void printTableData(Object value) {
 		Map<QName, String> attributes = new HashMap<>(1);
-		if (value instanceof Number || value instanceof Boolean) {
+		if (value instanceof Number) {
 			attributes.put(qname("class"), "number");
+		} else if (value instanceof Boolean) {
+			attributes.put(qname("class"), "boolean");
 		}
 		printTextElement(qname("td"), attributes, String.valueOf(value));
 	}