.content {width:600px;  }

  .esempio { border: 1px solid #72ff47; margin: 1em 0; }

  .esempio p { padding: 5px; margin: 0; }
  
  .nav { margin-right:2px; text-align:right; text-decoration:underline;}

  .nav a { border-right:solid 1px #DEDEDE; color:#0e509e;  padding:3px 6px; text-decoration:underline;}
  
  .nav a:hover {text-decoration:none;}

  .nav a.highlight { color:#000000; font-weight:bold; padding:4px 6px; /* savers */ border-right:solid 1px #DEDEDE; text-decoration:none; }