From a8ad0481429ae03239cddc9ec31930b32de41830 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Fri, 19 Oct 2012 11:28:59 +0200
Subject: [PATCH 1/1] xml: slight improvement of the DOT output

This was completely forgotten...  Nothing about XML is actually
documented...

* data/xslt/xml2dot.xsl: Use boxes, and Courier font.
---
 data/xslt/xml2dot.xsl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/data/xslt/xml2dot.xsl b/data/xslt/xml2dot.xsl
index 219faa2f..111613ce 100644
--- a/data/xslt/xml2dot.xsl
+++ b/data/xslt/xml2dot.xsl
@@ -55,7 +55,11 @@
   <xsl:call-template name="escape">
     <xsl:with-param name="subject" select="$filename"/>
   </xsl:call-template>
-  <xsl:text>"&#10;{&#10;</xsl:text>
+  <xsl:text>&#10;{
+  node [fontname = courier, shape = box, colorscheme = paired6]
+  edge [fontname = courier]
+
+</xsl:text>
   <xsl:apply-templates select="state"/>
   <xsl:text>}&#10;</xsl:text>
 </xsl:template>
-- 
2.45.2