html
{
	background-color:rgb(95%, 85%, 95%);
	margin:10px;
	padding:5px;
}

#links a 
{
 	margin:5px;
	display:block; 
}
/* link vistitati o non ancora visitati */
a:link
{
	color:white;
	font-weight:bold;
	font-size:12pt;
}

a:visited
{
	color:gray;
	font-weight:normal;
	font-size:12pt;
}

#banner
{
	margin:10px;
	padding:5px;
	background-color:rgb(90%, 80%, 90%);
	border: thin rgb(80%, 70%, 80%) solid;
}

#gohome
{
	margin:10px;
	padding:5px;
	border:thin white solid;
	text-align:right;
}

#page_descr
{
	margin:15px;
	font-size:12pt;
	text-align:justify;
	font-weight:bold;
}

#links
{
	margin:15px;
	color:rgb(90%, 90%, 90%);
}