diff -r c0cf62bb9aa7 -r c7a22ce8c156 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Oct 10 09:54:44 2019 +0200 +++ b/svghmi/gen_index_xhtml.xslt Thu Oct 10 10:03:47 2019 +0200 @@ -236,7 +236,7 @@ - + " "