diff -r ea4a61b4a325 -r 2db69e2c5673 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Feb 25 11:22:10 2021 +0100 +++ b/svghmi/gen_index_xhtml.xslt Fri Feb 26 10:00:14 2021 +0100 @@ -19,7 +19,6 @@ - /* @@ -62,7 +61,6 @@ - @@ -280,7 +278,6 @@ - /* @@ -305,12 +302,10 @@ - - /* @@ -337,7 +332,6 @@ - @@ -378,9 +372,9 @@ + - @@ -413,7 +407,6 @@ - /* @@ -430,7 +423,6 @@ - @@ -448,9 +440,28 @@ + + + + + + + + + + + + + + + + + + + - + @@ -490,7 +501,6 @@ - /* @@ -521,7 +531,6 @@ - @@ -535,13 +544,16 @@ + + - + + " ": { @@ -634,10 +646,10 @@ + - /* @@ -655,12 +667,10 @@ - - /* @@ -687,9 +697,11 @@ - - - + Overlapping + + + + @@ -909,7 +921,6 @@ - /* @@ -926,11 +937,9 @@ - - /* @@ -957,7 +966,6 @@ - @@ -983,7 +991,6 @@ - /* @@ -1046,7 +1053,6 @@ - @@ -1149,7 +1155,6 @@ - /* @@ -1293,11 +1298,9 @@ - - /* @@ -1692,13 +1695,11 @@ - - /* @@ -1711,7 +1712,6 @@ - class @@ -1727,9 +1727,9 @@ + - /* @@ -1745,7 +1745,6 @@ - @@ -1755,7 +1754,7 @@ - + @@ -2995,7 +2994,6 @@ - /* @@ -3472,7 +3470,6 @@ - function numb_event(e) { @@ -5183,7 +5180,6 @@ - /* @@ -5210,11 +5206,9 @@ - - /* @@ -5247,7 +5241,6 @@ - class KeypadWidget extends Widget{