equal
deleted
inserted
replaced
67 comment apply "document('')/*/debug:*"; |
67 comment apply "document('')/*/debug:*"; |
68 |
68 |
69 html xmlns="http://www.w3.org/1999/xhtml" |
69 html xmlns="http://www.w3.org/1999/xhtml" |
70 xmlns:svg="http://www.w3.org/2000/svg" |
70 xmlns:svg="http://www.w3.org/2000/svg" |
71 xmlns:xlink="http://www.w3.org/1999/xlink" { |
71 xmlns:xlink="http://www.w3.org/1999/xlink" { |
72 head; |
72 head { |
|
73 style type="text/css" media="screen" { |
|
74 value "ns:GetFonts()"; |
|
75 } |
|
76 } |
73 // prevents user selection by mouse click / touch and drag |
77 // prevents user selection by mouse click / touch and drag |
74 // prevents pinch zoom and other accidental panning panning with touch devices |
78 // prevents pinch zoom and other accidental panning panning with touch devices |
75 body style="margin:0;overflow:hidden;user-select:none;touch-action:none;" { |
79 body style="margin:0;overflow:hidden;user-select:none;touch-action:none;" { |
76 // Inline SVG |
80 // Inline SVG |
77 copy "$result_svg"; |
81 copy "$result_svg"; |