div.figura {
	padding: 6pt;
	margin: 6pt auto;
	text-align: center;
	border: solid 1pt;
}
code, kbd, pre {
	font-weight: bold;
}
.raccomandazioni {
	margin: 10px;
	padding: 10px;
	border: thin dashed;
}
ol ol {
	list-style-type: lower-alpha;
}
ol ol ol {
	list-style-type: lower-roman;
}
.testoex {
	width: 85%;
	margin-right: auto;
	margin-left: auto;
	border: thin dotted #666666;
	padding: 1em;
}
.codice {
	width: 90%;
	margin: .5em auto;
	border: double #999999;
	padding: 1em;
	font-family: "Courier New", monospace;
	font-weight: bold;
}
pre.consolle {
	width: 90%;
	margin-right: auto;
	margin-left: auto;
	border: groove #999999;
	padding: 1em;
	font-weight: normal;
}
img.figura {
	margin: 6pt;
	float: right;
}
.suggerimento {
  margin: auto;
  width: 75%;
  font-style: italic;
}
.suggerimento code, .suggerimento pre {
  font-style: normal;
}
td.commenti ol {
	height: 8em;
	overflow: scroll;
	text-align: left;
}
table.statistiche td {
    vertical-align: top;
}
table.esercitazione td {
	width: 33%;
	text-align: center;
}
span.input {
    color: red;
	font-weight: bold;
}
span.sottotitolo {
	font-size: small;
	font-style: italic;
}
div.messaggio {
	border:  2pt double red;
	width: 50%;
	margin: 1em auto;
	font-weight: bold;
	padding: 3em;
	font-size: x-large;
}
@media screen {
	code, kbd, pre, div.codice {
		color: purple;
		background-color: inherit;
	}
	div.codice em {
		color: red;
		background-color: inherit;
		font-style: normal;
	}
	.raccomandazioni {
		border: thin dashed purple;
	}
	pre.consolle {
		color: white;
		background-color: black;
	}
	span.commento {
		color: green;
		background-color: inherit;
	}
}
@media print {
	h1 {
		font-size: 22pt;
	}
	h2 {
		font-size: 20pt;
	}
	h3 {
		font-size: 18pt;
	}
	body {
		font-size: 10pt;
	}
	div.codice, pre, .figura {
		page-break-inside: avoid;
	}
	form {
	  	display: none;
	}
}