body {
font: 100% lucida,verdana,helvetica, sans-serif;
background-color: white;
margin: 48px;
margin-top: 40px;
}
p.avviso{
	text-align: justify;
	color: #000880;
    font-weight: bold;
}
p.testa {
     margin-left: 0px;
     margin-right: 16px;
     margin-top: 16px;
     margin-bottom: 24px;
     font: 16px helvetica,arial,sans-serif;
     font-weight: bolder;
     color: #000880;
     border: 0px solid white;
}

p.testa img {
     float: left;
     clear: left;
     vertical-align: top;
     border: 0px;
}


ul.tabnav {
font: 12px lucida,verdana,helvetica,sans-serif;
list-style-type: none;
padding-left: 12px;
/*Note: use padding to align the line in IE 6 and in Moz. Firefox 1.0.
Instead, use height to align the line in Moz. Firefox 1.0. In the latter
case, IE 6 and Amaya 9 will disalign the line by 1 pixel.*/
padding-bottom: 23px; /*wrong in Amaya 9.0 or in IE & Mozilla?*/
/*height: 23px;*/ /*not to be used with padding...?!*/
border-bottom: 1px solid #000080;
margin: 0px;
/*margin-bottom: 30px;*/
}

ul.tabnav li {
float: left;
height: 23px;
padding: 0px;
padding-bottom: 0px;
background-color: #ffd755;
margin: 0px 2px 0px 2px;
border-top:    1px solid #000080;
border-left:   1px solid #000080;
border-right:  1px solid #000080;
border-bottom: 0px solid #000080; /*no bottom border*/
}

ul.tabnav li.tabon {
border-bottom: 0px solid white; /*no bottom border*/
background-color: white;
}

ul.tabnav li.tabon a  {
color: #010101;
padding: 4px;
margin: 0px;
border-bottom: 1px solid white;
}

.tabnav a {
/*float: left;*/ /*strange borders in Amaya 9.0*/ 
display: block;
/*height: 23px;*/ /*need float:left; in IE 6.0*/
color: #606066;
text-decoration: none;
padding: 4px;
margin: 0px;
border-bottom: 1px solid #000080;
}

.tabnav a:hover {
background: #ffff66;
border-bottom: 1px solid #ffff66;
}

.corpo {
	text-align: justify;
}

img.nobordo { float: left;
            clear: right;
	    margin: 0px;
	    border: 0px;
	    
}

img.corpo { float: left;
            clear: right;
	    vertical-align: top;
	    margin: 2em;
}

h1.corpo {
	 text-align: center;
	 font-size: 200%;
	 text-decoration: none;
	 font-weight: bolder;
}

h2.corpo
{
	text-align: center;
        font-size: 160%;
	text-decoration: none;
	font-weight: bolder;
}

h3.corpo
{
	text-align: left;
	text-decoration: none;
	font-weight: bolder;
}
h4.corpo
{
	text-align: left;
	text-decoration: none;
	font-size: 120%;
	font-variant: small-caps;
	color: DarkRed;
}
/**** This was the old Apache-like style
h3.corpo
{
	border-width: 1px;
	border-color: black;
	background: black;
	color: white;
	font-family: Lucida,Verdana,Arial,sans-serif;
	font-weight: bold;
	padding: 2px;
}  ****/

.code
{
	border-width: 1px; 
	border-color: navy; 
	border-style: solid; 
	background: #eeddaa; 
	color: #442200;
	font-weight: bold;
	font-family: Lucidatypewriter,Courier,monospaced; 
	margin: 5%; 
	padding: 5px;
	font-size: 12px;
}
dt.corpo, dt
{
	color: #a00000;
	/*font-family: Lucida,Verdana,Arial;*/
	font-weight: bold;
}
dd.corpo, dd {
	color: navy;
	font-family: Times,serif;
	/*font-style: italic;*/
}

p.coda { font-size: 75%;
	 margin: 15px;
	 padding: 10px;
	 }
	 
img.mini{ border-color:black;
		 border-style: groove;
		border-width:1;
}

img.mini:hover{border-color:red;}