/* css speciale per liberoadslinux */

div.contenuto pre {
	margin-left: 30pt;
	font-family: monospace;
	color: #410;
}