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;" { |
69 body style="margin:0;overflow:hidden;user-select:none;" { |
70 // Inline SVG |
70 // Inline SVG |
71 copy "$result_svg"; |
71 copy "$result_svg"; |
72 script{ |
72 script{ |
73 | \n//\n//\n// Early independent declarations \n//\n// |
73 | \n//\n//\n// Early independent declarations \n//\n// |
74 apply "document('')/*/preamble:*"; |
74 apply "document('')/*/preamble:*"; |