+ var t;
+
+ if ((t = mdref.type(v.replace(/:$/, ""), nn))) {
+ a.push($(t).text(v));
+ } else if (a.length && a[a.length-1].nodeName === "#text") {
+ /* if we already have a text node and the next is also gonna be a text
+ * node, then join them, becuase chrome v30+ or something eats whitespace
+ * for breakfast, lunch and dinner!
+ */
+ a[a.length-1].textContent += v;
+ } else {
+ a.push(document.createTextNode(v));
+ }