BODY {
	margin-top: 0.1em;
	margin-bottom: 1.0em;
	line-height: 1.5em;
}

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: 0px;
}

H2 {
  margin-top: 2.0em;
  margin-bottom: 0.5em;
  padding-bottom: 0px;
}

H3 {
  margin-top: 1.5em;
  margin-bottom: 0.5em;
  padding-bottom: 0px;
}

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 {
	/* Fold long lines: */
	white-space: pre-wrap;       /* css-3 should we be so lucky... */
	white-space: -pre-wrap;       /* css-3 should we be so lucky... */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999, Mozilla 1.7, Firefox, ... */
	white-space: -pre-wrap;      /* Opera 4-6 ?? */
	white-space: -o-pre-wrap;    /* Opera 7 ?? */
	/* word-wrap: break-word;       /* Internet Explorer 5.5+ */
	/* _white-space: pre;   /* IE only hack to re-specify in addition to word-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: 20pt 4em 20pt 4em;
}