.htmla_titolo {
	font-size: 16px;
	font-weight: bold;
}
.htmla_titoletto {
	font-size: 10pt;
	font-weight: bold;
}
.htmla_paragrafo {
	font-size: 10pt;
	color: #FF6600;
	font-weight: bold;
}
.htmla_sottotitolo {
	font-size: 12pt;
	color: #FF6600;
	font-weight: bold;
}
.htmla_link {
	font-size: 10pt;
	color: #FF6600;
}
.htmla_testo {
	font-size: 8pt;
	font-weight: normal;
}
.td {
	font-size: 9pt;
}

/* info combo */

.quote { font-style: italic; color: #ee9; }
.highlight { background-color: yellow; color: #000; }
.deprecated { text-decoration: line-through; color: #aaa; }