function not_implemented() {
	alert("This page hasn't been written yet.\nHave some patience, I'm only one guy.");
	return false;
}

function toggle_code(file, hook_element) {
	var $hook_element = $(hook_element);

	if($hook_element.next().length) {
		$hook_element.next().toggle();
	}
	else {
		var $img = $(document.createElement('img')).
			attr('src', '../images/ui-anim_basic_16x16.gif').
			css('vertical-align', 'middle').
			appendTo($hook_element);
		$(document.createElement('div')).load(file, function() { $img.remove(); }).insertAfter($hook_element);
	}

	$hook_element.find('.ui-icon').toggleClass('ui-icon-triangle-1-e ui-icon-triangle-1-s');
}