$('#content').corner();
$('#menu').corner("top br").corner("cc:#292929 bl");
$('#tabs li').corner("top 5px");

$(document).ready(function() {
	prettyPrint();
	$('a.socialLink').hover(function() { //mouse in
		$(this).animate({ bottom: '15px' }, 100);
	}, function() { //mouse out
		$(this).animate({ bottom: '0' }, 100);
	});
});