function toggleSource(id) {
var src = $('#' + id).toggle(); var isVisible = src.is(':visible'); $('#l_' + id).html(isVisible ? 'hide' : 'show');
}
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); });
});