diff -r 7d83cd94e3cc -r ecb947e5bbb4 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Fri Nov 24 14:44:08 2023 +0100 +++ b/svghmi/gen_index_xhtml.xslt Fri Nov 24 14:47:14 2023 +0100 @@ -717,7 +717,7 @@ - +