diff -r a5bca0a5eaf5 -r 0ddefd20ca2b svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Mon Mar 29 15:46:02 2021 +0200 +++ b/svghmi/gen_index_xhtml.xslt Tue Mar 30 10:05:55 2021 +0200 @@ -1,6 +1,6 @@ - - + + @@ -1713,7 +1713,7 @@ - + @@ -6858,7 +6858,7 @@ - +