$(function() {
  //    $("pre").corner("8px");
});