@@ -91,15 +91,16 @@ Elm.Native.Text = function(elm) {
9191 return "<a href='" + toText(href) + "'>" + text + "</a>";
9292 }
9393
94− function position(pos) { return function(text) {
95− var e = {ctor:'RawHtml',
96− _0: '<div style="padding:0;margin:0;text-align:' +
97− pos + '">' + text + '</div>'
98− };
99− var p = A2(htmlHeight, 0, text);
100− return A3(Element.newElement, p._0, p._1, e);
94+ function position(pos) {
95+ return function(text) {
96+ var e = {ctor:'RawHtml',
97+ _0: '<div style="padding:0;margin:0;text-align:' +
98+ pos + '">' + text + '</div>'
99+ };
100+ var p = A2(htmlHeight, 0, text);
101+ return A3(Element.newElement, p._0, p._1, e);
102+ }
101103 }
102− }
103104
104105 function asText(v) {
105106 return position('left')(monospace(toText(show(v))));