BODY {
  color: black;
  background-color: white;
  background-image: none;
  font-family: "Trebuchet ms", Arial, Helvetica, sans-serif;
  margin: 2px;
  padding: 30px;
}

BODY.curr { width: 80%; }

BODY.curr div.banner {
 width: 15%;
 right: 0%;
 padding-left: 5%;
 display: block;
 }


A {
  text-decoration: underline;
  margin: 1px;
  padding: 1px 1px 0px 0px;
}


A:link {
 color: blue;
 background: inherit;
}

A:hover {
 border: 1px solid black;
 color: blue;
 text-decoration:none;
 background: silver;
 margin: 0px;
}

A:active {
 color: red;
 background: white;
 border: 1px solid black;
 text-decoration: none;
}

DT {
  border-style: ridge;
  border-width: thin;        /* sets border width on all sides */
  border-color: black;
  background-color: inherit;
  color: #880000;
  padding: 3px;
  margin-top: 2em;
}

DD {
  margin-top: 4px;
}

H1 {
  color: gray;
  background-color: inherit;
}

H1.cent {
  text-align: center;
  color: inherit;
  background-color: inherit;
}

H1.title {
 color: gray;
 background-color: inherit;
 background-image: inherit;
}

H4.secthead {
 background-color: gray;
 color: white;
 text-align: center;
}

PRE.email {
  color: inherit;
  background-color: inherit;
  font-family: monospace;
  margin-top: 10px;
  margin-bottom: 10px;
  margin-left: 6px;
}	

TABLE.headtab {
  color: inherit;
  background-color: inherit;
  width: 100%;
  border: 0px;
  table-layout: fixed;
}

TABLE.headtab TD
{
  vertical-align: bottom;
}

TABLE.eqntable {
  color: inherit;
  background-color: inherit;
  width: 100%;
  border: 0px;
  text-align: center;
  table-layout: fixed;
}

TABLE.tolup {
  background-color: silver;
  padding: 5px;
  margin: 5px;
  border-width: 1px;
  border-style: solid;
  border-color: black;
}

TABLE.tol 
 {
}

TABLE.full {
  width: 100%;
  padding-right: 30px;
}

TD.ral {
 text-align: right;
}

TD.lal {
 text-align: left;
}


PRE.ral {
  text-align: right;
}



DIV.elenco {
}

TD.quotation {
  font-size: smaller;
  width: 290px;
  text-align: left;
  background-color: aliceblue;
  padding: 5px;
  margin: 5px;
  border-width: 1px;
  border-style: solid;
  border-color: black;
}

PRE.update {
  font-size: smaller;
  text-align: right;
}

TD.equation {
 width: 100%;
 text-align:center;
}

DIV.conform {
margin-bottom: 5px;
}

DIV.banner {
 margin: 2px;
 font-size: 80%;
 font-weight: bold;
 line-height: 1.1;
 text-align: center;
 position: fixed;
 top: 36px;
 left: auto;
 width: 10%; 
}

DIV.banhome {
  font-size: 10px;
  font-weight: bold;
  text-align: center;
  position: fixed;
  padding:0px;
  margin:0px;
  background-color: aliceblue;
  width: 100%;
  top:auto;
  left:0%;
  right: auto;
  bottom: 0%;
  height:13px; 
  position: fixed;
  padding-bottom: 3px;
}

DIV.banhome a:hover {
text-decoration: none;
border: 1px solid black;
background: red;
color: yellow;
}

DIV.banner p {
 margin: 1px;
 padding: 0.3em 0.4em;
 font-family: Arial;
 background: #999;
 color: white;
}

TABLE#leztable {
	       width:       70%;
               margin: auto;
               background-color: lightyellow;
               border: solid white 1px;
               border-spacing: 2px;
              }
TABLE#leztable CAPTION { background: yellow;
			 margin:auto;
                         width: auto;
			 caption-side: center;
		         vertical-align:top;}
TABLE#leztable TD { border: solid 1px blue;
	       	    background: yellow;
		    text-align: right; }
TABLE#leztable TD:first-child { border: solid 1px blue;
		    text-align: left; }

TABLE#leztable TD A:hover {
 border: 0px solid black;
 color: white;
 text-decoration:none;
 background: red;
 margin: 0px;
}

TABLE#leztable TD A:active {
 color: red;
 background: yellow;
 border: 1px solid black;
 text-decoration: none;
}



div.banner a, div.banner em { display: block; margin: 0 0.5em;
	 border: 1px solid #999;
	 margin: 0px; }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

div.banner a:link { text-decoration: none; color: white; }
div.banner a:visited { text-decoration: none; color: #CCC }
div.banner a:hover { text-decoration:none; background: black; color: white }
div.banner a.home { border: 1px solid yellow;
	            padding: 2px; }
div.banner a.home:hover { background: red; border: 1px solid black}