BODY {
	margin-top: 0.1em;
	margin-bottom: 1.0em;
	line-height: 1.5em;
	font-family: sans-serif;
}

prototipo {
  margin-left: 0px;
  margin-right: 2%;
  margin-top: 30px;
  margin-bottom: 8px;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 10px;
  padding-right: 0%;
  border-right: 2px solid #888888;
  border-bottom: 2px solid #888888;
  max-width: 800px;
  background-image: url(../img/FIXME.png);
  background: #dddddd;
  z-index: 5;
}

H1 {
  margin-top: 0.5em;
  margin-bottom: 1.0em;
  padding-bottom: 0.3em;
  font-family: sans-serif;
  color: rgb(120,120,120);
}

H2 {
  margin-top: 2.0em;
  margin-bottom: 0.5em;
  padding-bottom: 0.3em;
  font-family: sans-serif;
  color: rgb(120,120,120);
  border-bottom-color: rgb(192,192,192);
  border-bottom-style: solid;
  border-bottom-width: 0.1em;
}

H3 {
  margin-top: 1.5em;
  margin-bottom: 0.0em;
  padding-bottom: 0.0em;
  font-family: sans-serif;
  color: rgb(120,120,120);
}

P {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	line-height: 1.5em;
}

.TABLE {
	border-collapse: collapse;
	border: 1px solid black;
}

.TR {
	border: 1px solid black;
}

.TH {
	border: 2px solid black;
	padding: 5px;
	text-align: center;
	font-weight: bold
}

.TD {
	border: 1px solid black;
	padding: 5px;
}

.titolo_sottolineato {
  margin-top: 30px;
  margin-bottom: 3px;
  padding-bottom: 0px;
  border-bottom: 2px solid #888888;
}

pre {
	white-space: pre-wrap;
}

li {
	margin-top: 1em;
	margin-bottom: 1em;
	line-height: 1.5em;
}

dt {
	line-height: 1.5em;
	margin-top: 1.5em;
	margin-bottom: 0.3em;
}

dd {
	margin-top: 0.0em;
	margin-bottom: 1.5em;
	line-height: 1.5em;
}

blockquote {
	margin: 10pt 4em 10pt 4em;
}

.pre_source_code {
	margin-top: 1em;
	border: 0.1em solid black;
	padding: 1em;
	background-color: #eeeeee;
	white-space: pre-wrap;
	line-height: 1em;
}