diff -r 3b4a1319da09 -r 1695122a5e16 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Mon Mar 30 14:26:42 2020 +0200 +++ b/svghmi/gen_index_xhtml.xslt Tue Mar 31 13:20:15 2020 +0200 @@ -1249,7 +1249,7 @@ choices: [ - + {