diff -r 84c16ece8e10 -r a108677bd3d0 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt	Fri Mar 06 14:43:03 2020 +0100
+++ b/svghmi/gen_index_xhtml.xslt	Mon Mar 09 13:40:45 2020 +0100
@@ -1237,8 +1237,6 @@
 </xsl:text>
     <xsl:text>    svg_root.setAttribute('viewBox',new_desc.bbox.join(" "));
 </xsl:text>
-    <xsl:text>    
-</xsl:text>
     <xsl:text>    current_page = page_name;
 </xsl:text>
     <xsl:text>