$(function(){
  var amp = String.fromCharCode(38);
  var lt = amp+"lt;";
  var gt = amp+"gt;";
  // $(".demo").html(this.prevAll("pre").get(0).html())
  $("pre.lang-css").each(function(){
    $("<style></style>").attr({type:"text/css"}).
      text($(this).text()).appendTo("head")
  })
  $(".demo").each(function(){
    $(this).html($(this).prevAll("pre").get(0).innerHTML)
  })
  $(".withcss").each()
  $("pre").each(function(){
      this.innerHTML = 
        this.innerHTML.replace(RegExp("<","g"),lt).replace(/>/g,gt);
  }).addClass("prettyprint");
  prettyPrint();
})