diff -r ffc8da83fdc2 -r 5c662d2e3f72 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Wed Apr 03 14:17:50 2024 +0200 +++ b/svghmi/gen_index_xhtml.xslt Fri Apr 05 13:11:30 2024 +0200 @@ -694,7 +694,8 @@ - + +