// スクロール用のスクリプト

Event.observe(window, 'load', function() {
	$$('a[href^=#]:not([href=#])').each(function(element) {
		element.observe('click', function(event) {
			new Effect.ScrollTo(this.hash.substr(1));
			Event.stop(event);
		}.bindAsEventListener(element))
	})
})


// これはview_sourceってidの部分を閉じたり開けたりするやつ
// スクロールとは関係ありまへん

// Event.observe(window, 'load', function() {
// 	$('view_source').observe('click', function(event){
// 		$('source').toggle();
// 		Event.stop(event);
// 	});
// });