diff -r 723e420dfe72 -r 5ee6967f721d svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Sep 19 15:32:36 2019 +0200 +++ b/svghmi/gen_index_xhtml.xslt Fri Sep 20 13:38:58 2019 +0200 @@ -26,13 +26,25 @@