diff -r 50d0fef791d5 -r 1e9b9d7451cd svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Wed Mar 10 19:29:49 2021 +0100 +++ b/svghmi/gen_index_xhtml.xslt Thu Mar 11 20:46:05 2021 +0100 @@ -1,6 +1,6 @@ - - + + @@ -472,7 +472,11 @@ - + + + + + @@ -740,8 +744,6 @@ - - @@ -1693,7 +1695,7 @@ - + @@ -6808,7 +6810,7 @@ - +