in source/javascripts/scripts.js [38:54]
$(".dropdown-menu a").on('click', function (e) {
e.preventDefault();
var selText = $(this).text(),
current = $(this).attr('href');
$(this).parents('.btn-group').find('.dropdown-toggle').html(selText +' <span class="caret"></span>');
$('.tab:not(' + current +')', $tabs).hide();
$(current).show();
window.location.replace(window.location.origin + window.location.pathname + current);
window.scrollTo(0, 0);
$(this).dropdown('toggle');
return false;
});