diff -r d345673610b0 -r 1021c6c74dde svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Wed Nov 25 14:47:23 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Wed Nov 25 14:47:47 2020 +0100 @@ -1,6 +1,6 @@ - - + + @@ -5942,9 +5942,9 @@ - + - +