$(document).ready(function(){
    $('body').addClass('hasJS');
    prettyPrint();

    // section list
    $('header.title h2').append('<a href="#" class="more-sections">More sections</a>');
});