$(function() {

	$("a.gototop").click(function(e) {
		$.scrollTo(0, 800);
	});

	$("#content ol.toc a[href^='#']").click(function(e) {
		$.scrollTo(this.hash, 800);
	});

});