[PATCH 2/3] xml: slight improvement of the DOT output

[Akim Demaille]

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 219faa2..111613c 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>
-- 
1.7.12.2