bookmarklet to insert the template for a definition environment (for nLab editors)

nlab_definition.js

// Save the following as a bookmark:
// javascript:(function()%7Bfunction%20callback()%7B(function(%24)%7Bvar%20jQuery%3D%24%3Bvar%20str%20%3D%20%22%2B--%20%7B%3A%20.un_defn%7D%5Cn%5C%23%23%23%23%23%23%20Definition%5Cn%5Cn%5C%3D--%5Cn%22%3Bvar%20caretPos%20%3D%20document.getElementById(%22content%22).selectionStart%3Bvar%20textareaVal%20%3D%20%24(%22%23content%22).val()%3B%24(%22%23content%22).val(textareaVal.substring(0%2C%20caretPos)%20%2B%20str%20%2B%20textareaVal.substring(caretPos))%7D)(jQuery.noConflict(true))%7Dvar%20s%3Ddocument.createElement(%22script%22)%3Bs.src%3D%22https%3A%2F%2Fajax.googleapis.com%2Fajax%2Flibs%2Fjquery%2F1.7.1%2Fjquery.min.js%22%3Bif(s.addEventListener)%7Bs.addEventListener(%22load%22%2Ccallback%2Cfalse)%7Delse%20if(s.readyState)%7Bs.onreadystatechange%3Dcallback%7Ddocument.body.appendChild(s)%3B%7D)()

function runInstikiDefnBookmarklet() {
  var str = "+-- {: .un_defn}\n\
###### Definition\n\n\
=--\n";

  var caretPos = document.getElementById("content").selectionStart;
  var textareaVal = $("#content").val();
  $("#content").val(textareaVal.substring(0, caretPos) + str + textareaVal.substring(caretPos));
}

(function () {
  var js = document.createElement('script');
  js.addEventListener('load', runInstikiDefnBookmarklet);
  js.src = "//ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js";
  document.head.appendChild(js);
}());