.paragraphtitle {
	color: #0099FF;
	font-weight: bold;
	font-size: 105%;
	}
.code {
	text-align: left;
	color: #0000FF;
	font-family: "Courier New", Courier, mono;
	font-size: 80%;
	}
.comment {
	color: #FF00FF;
	}
.boxgrigio {
	font-family: "Courier New", Courier, mono;
	font-size: 80%;
	text-align: left;
	padding: 3px;
	border-top: 1px solid #ccc;
	border-right: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
	border-left: 1px solid #ccc;
	background-color: #F8F8F8;
	}
.color1 {
	color: #0000AA;
	}
.color2 {
	color: #AA0000;
	}	
.infoextra {
	font-size: 90%;
	color: #008000;
	}
.presentazione {
	color: #333333;
	font-size: 90%;
	}