div.menuLinks {
/* Stile per menu con tasto destro */
    background: #CCCCCC; /* definisce il colore di sfondo */
    color: #000000; /* definisce il colore della voce del menu */
    font-size: 11px; /* definisce le dimensioni del testo */
    font-family: Verdana; /* definisce il carattere utilizzato */
    width: 130px; /* definisce la larghezza del layer */
    padding: 3px; /* definisce l'area interna del singolo link */
    border-top: Solid 1px #666666; /* definisce il bordo superiore */
    border-left: Solid 1px #666666; /* definisce il bordo sinistro */
    border-right: Solid 1px #666666; /* definisce il bordo destro */
    cursor: Hand; /* definisce il puntatore del mouse */
 }
 
pul_hand {
    cursor: Hand; /* definisce il puntatore del mouse */
 }