function toggleSource(id) {

var src = $('#' + id).toggle();
var isVisible = src.is(':visible');
$('#l_' + id).html(isVisible ? 'hide' : 'show');
if (!src.data('syntax-higlighted')) {
  src.data('syntax-higlighted', 1);
  hljs.highlightBlock(src[0]);
}

}

window.highlight = function(url) {

var hash = url.match(/#([^#]+)$/)
if(hash) {
  $('a[name=' + hash[1] + ']').parent().effect('highlight', {}, 'slow')
}

}

$(function() {

highlight('#' + location.hash);
$('.description pre').each(function() {
  hljs.highlightBlock(this);
});

});