+++ /dev/null
-$(function() {
- function scrollToAnchor(anchor) {
- if (anchor) {
- var name = anchor.slice(1);
- $.scrollTo('a[name="' + name + '"]', 500, {offset: {top: -50, left: 0}});
- $('a[name="' + name + '"]').highlightFade('yellow');
- window.location.hash = '#' + name;
- }
- }
-
- $.highlightFade.defaults.speed = 3000;
- $('#toc').hide();
- if ($('#toc li').length == 0) {
- $('#menu li a[href="#toc"]').remove();
- }
-
- // On page load, scroll to anchor
- scrollToAnchor(window.location.hash)
-
- $('body').delegate('click', '#toc a, #themes a, .anchor, .annotation', function(event) {
- event.preventDefault();
- $('#menu li a.selected').click();
- scrollToAnchor($(this).attr('href'));
- });
-
- $('#menu li a').toggle(function() {
- $('#menu li a.selected').click();
- $(this).addClass('selected');
- $($(this).attr('href')).slideDown('fast');
- }, function() {
- $(this).removeClass('selected');
- $($(this).attr('href')).slideUp('fast');
- });
-});