WordPress/wp-admin/js/settings-box.js

jQuery(document).ready( function($) {
	$('#show-settings-link').click(function () {
		$('#edit-settings-wrap').slideDown('normal', function(){
			$('#hide-settings-link').show();
			$('#show-settings-link').hide();
		});

		return false;
	});
	
	$('#hide-settings-link').click(function () {
		$('#edit-settings-wrap').slideUp('normal', function(){
			$('#show-settings-link').show();
			$('#hide-settings-link').hide();
		});

		return false;
	});
});