diff -r 2ed9ff826d03 -r ba0dd2ec6dc4 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Mon Sep 30 13:26:11 2019 +0200 +++ b/svghmi/gen_index_xhtml.xslt Wed Oct 02 11:31:02 2019 +0200 @@ -111,7 +111,7 @@ "; - + name = " ";