diff -r d9c8f8789fc8 -r 1582753e409b svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Tue Mar 23 14:09:55 2021 +0100 +++ b/svghmi/gen_index_xhtml.xslt Thu Mar 25 10:13:12 2021 +0100 @@ -303,7 +303,9 @@ - + + + @@ -476,7 +478,7 @@ - +