/* Link normali, attivi, visitati e su scroll del mouse*/

a:link {
	    color: #000080; font-family: Verdana, Arial; font-size:10 pt; font-weight: bold; margin-top: 4; margin-bottom: 4; text-decoration: none;
        }
a:active {
	      color: #ffffff; font-family: Verdana, Arial; font-size:10 pt; font-weight: bold; margin-top: 4; margin-bottom: 4; text-decoration: none;
	      }
a:visited {
	       color: #000080; font-family: Verdana, Arial; font-size:10 pt; font-weight: bold; margin-top: 4; margin-bottom: 4; text-decoration: none;
           } 
a:hover {
		 color: #ffffff; font-family: Verdana, Arial; font-weight: bold; background-color: #000080; letter-spacing: 1px; text-decoration: none;
		 }

/* Il background-color finale corrisponde al colore di sfondo del div. */

#menu { 
	FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif; 
	BACKGROUND-COLOR: #FFFFFF;
	margin-left:0px; margin-right:20px; margin-top:20px; margin-bottom:20px
	}

/* Il background-color del tag finale corrisponde al colore di sfondo del tasto interattivo. Il tag color seguente al tag width corrisponde al colore del testo.*/

#menu A {
	BORDER-RIGHT: 2px solid #909090; PADDING-RIGHT: 2px;
	BORDER-LEFT: 2px solid #F0F0F0; PADDING-LEFT: 2px;
	BORDER-TOP: 2px solid #F0F0F0; PADDING-TOP: 3px;
	BORDER-BOTTOM: 3px solid #909090; PADDING-BOTTOM: 3px; 
	BACKGROUND-COLOR: #FFFFFF; TEXT-DECORATION: none
	WIDTH: 95px; COLOR: #000080; 
	FONT-SIZE: 12px; FONT-WEIGHT: bold;
	FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif;
	}

/* Il color finale corrisponde a quello del testo al passaggio del mouse. Il background-color allo sfondo del tasto al passaggio del mouse.*/

#menu A:hover {
	BACKGROUND-COLOR: #000080; 
	border-right-color:#F0F0F0; 
	border-left-color:#909090;
	border-top-color:#909090; 
	border-bottom-color:#F0F0F0; 
	color:#FFFFFF;
	}