$( document ).ready( function () {
    $( '#nav' ).load( '/docs/nav.html' );
} );