in js/drill.js [74:93]
offsetHeader : function() {
if (location.hash) {
var hash = location.hash.replace("#","");
var aOffset = $('a[name='+hash+']').offset();
if (typeof aOffset !== 'undefined'){
$('html, body').animate({
'scrollTop': aOffset.top
}, 500);
}
// Offset page by the fixed menu's height when an internal anchor is present, i.e. /docs/json-data-model/#flatten-arrays
var idOffset = $('#'+hash).offset();
var fixedMenuHeight = $("#menu").height();
if (typeof idOffset !== 'undefined'){
$('html, body').animate({
'scrollTop': idOffset.top - fixedMenuHeight
}, 500);
}
}
},