equal
deleted
inserted
replaced
64 |
64 |
65 html xmlns="http://www.w3.org/1999/xhtml" |
65 html xmlns="http://www.w3.org/1999/xhtml" |
66 xmlns:svg="http://www.w3.org/2000/svg" |
66 xmlns:svg="http://www.w3.org/2000/svg" |
67 xmlns:xlink="http://www.w3.org/1999/xlink" { |
67 xmlns:xlink="http://www.w3.org/1999/xlink" { |
68 head; |
68 head; |
69 body style="margin:0;overflow:hidden;user-select:none;" { |
69 // prevents user selection by mouse click / touch and drag |
|
70 // prevents pinch zoom and other accidental panning panning with touch devices |
|
71 body style="margin:0;overflow:hidden;user-select:none;touch-action:none;" { |
70 // Inline SVG |
72 // Inline SVG |
71 copy "$result_svg"; |
73 copy "$result_svg"; |
72 script{ |
74 script{ |
73 | \n//\n//\n// Early independent declarations \n//\n// |
75 | \n//\n//\n// Early independent declarations \n//\n// |
74 apply "document('')/*/preamble:*"; |
76 apply "document('')/*/preamble:*"; |