$(document).ready(function(){
  $("pre").each(function(i) {
    $(this).before('<p class="semantic"><a href="#skip-block-'+i+'">skip code block</a></p>');
    $(this).after('<p class="semantic"><a id="skip-block-'+i+'" name="skip-block-'+i+'">end code block</a></p>');
  });
  $("#toc").attr({tabindex: "0"});
  $(window).scroll(function()
  {
    $('#toc').animate({top:$(window).scrollTop()+"px" },{queue: false, duration: 350});
  });
});