// ==UserScript==
// @name           *[data-markdown]
// @version        2.0.2
// @description    Use Markdown, sometimes, in your HTML.
// @author         Paul Irish <http://paulirish.com/> and others
// @include        *
// ==/UserScript==

// Contribs:
// Thaddee Tyl <http://espadrine.github.com/>
// Digitalsabre <https://github.com/Digitalsabre>
// Félix Saparelli <http://passcod.net/>
// The guys at StackExchange

function X0() {
  if (!window.Markdown) {
    setTimeout(X0, 200);
  } else {
    [].forEach.call( document.querySelectorAll('[data-markdown]'), function(elem){
      // strip leading whitespace so it isn't evaluated as code
      html = (new Markdown.Converter()).makeHtml(elem.textContent);

      // here, have sum HTML
      elem.innerHTML = html;
    });
  }
}

var el;

el = document.createElement("script");
el.type = "application/javascript";
el.src = "https://pagedown.googlecode.com/hg/Markdown.Converter.js";
document.body.appendChild(el);

el = null;

el = document.createElement("script");
el.type = "application/javascript";
el.innerHTML = "(" + X0.toString() + ")();";
document.body.appendChild(el);