A:link   { color: navy; font-size: larger; text-decoration: none }A:visited   { color: navy; font-size: larger; text-decoration: none }A:active   { color: navy; font-size: larger; text-decoration: none }A:hover    { color: red; font-size: larger }/*body     { font-family: "Times New Roman", Georgia, Times; background: transparent url(img/img_portale2.gif); text-align: justify }*/body     { font-size: small; font-family: "Lucida Sans Unicode", Verdana, Arial, Helvetica, sans-serif; background: url(img/img_portale2.gif); text-align: justify; width:900px   ; }OL.withroman { list-style-type: lower-alpha }p { font-size: medium; font-family: Verdana, Arial, Helvetica, sans-serif; }h1 { font-size: 2em; font-weight: bold; margin: 0.67em 0; }