diff -r 0ddefd20ca2b -r 938b55abe946 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Tue Mar 30 10:05:55 2021 +0200 +++ b/svghmi/gen_index_xhtml.xslt Tue Mar 30 14:54:43 2021 +0200 @@ -1,6 +1,6 @@ - - + + @@ -1713,7 +1713,7 @@ - +