jQuery(document).ready(function()
{
	jQuery("#border").corner("15px");
	jQuery("#main").corner("10px");
	jQuery(".wp_syntax").corner("5px");
});