A:link {
	font-family: Arial, Helvetica, sans-serif;
	color: Navy;
}

A:active {
	font-family: Arial, Helvetica, sans-serif;
	color:Navy;
}

A:visited {
	font-family: Arial, Helvetica, sans-serif;
	color:Navy;
}

A.navigation:link
{
	font-family: Arial, Helvetica, sans-serif;
	font-size:65%;
	color:#000000;
}

A.navigation:active
{
	font-family: Arial, Helvetica, sans-serif;
	font-size:65%;
	color:#000000;
}

A.navigation:visited
{
	font-family: Arial, Helvetica, sans-serif;
	font-size:65%;
	color:#000000;
}

/* Why 90%? */
/* Drop the px, replace with %         */
/* Changed from 90% to 11pt       - rs */
/* Added P, LI, UL, OL for NS4    - rs */

BODY {
	font-family: Arial, Helvetica, sans-serif;
	font-size:11pt;
	color:#000000;
        background-color : #FFFFFF;
        margin: 0px;
        background-image: url(../imgs/sfondo.gif);
        background-repeat: repeat;
        background-attachment: fixed;
        background-position: top left;
}

/* Headers 1-3                                          */
/* Added H4 -rs                                         */
/* Changed border-width to 2px from thin - for NS4 - rs */
H1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size:170%;
	color:#336699;
	border : solid #CCCCCC;
	border-width : 0px 0px 2px 0px;
	width : 100%;
}

H2.titolo {
	font-family: Arial, Helvetica, sans-serif;
	font-size:130%;
	color: rgb(117,4,13);
	border : solid #cccccc;
	border-width : 0px 0px 2px 0px;
	width : 200pt;
}

H2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size:130%;
	color:#336699;
	border : solid #cccccc;
	border-width : 0px 0px 2px 0px;
	width : 100%;
}

H3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size:110%;
	color:#336699;
	width : 100%;
}

H4 {
	font-family: Arial, Helvetica, sans-serif;
	font-size:11pt;
	color:#000000;
        font-weight: bold;
	width : 100%;
}

/* Code in color */
.CODE {
    color : #336699;
    font-family : "Courier New", "Courier", "monospace";
}

/*Code with no color */
CODE.nocolor {
    font-family : "Courier New", "Courier", "monospace";
}

P.indent {
    text-indent: 9%;
}

table.default {
    border: 0px;
    padding: 0px;
    margin: 0px;
    border-collapse: collapse;
}

table.borders {
    border : 1px;
    margin: 1px;  
    padding: 1px;
}

table.noborders {
    border: 1 px solid #FFFFFF;
        
} 

/* Aren't these the default? */
TR {
	text-align : left;
	vertical-align : top;
}

TR.grigetto {
	background: #f5f5f5;
    text-align : left;
	vertical-align : top;
}

/* Removed CENTER - rs           */
/* changed to 11pt from 85% - rs */

TH {
	font-family: Arial, Helvetica, sans-serif;
	font-size:11pt;
	color:#000000;
	font-weight: bold;
        speak-header: always;
}

TH.bi {
    background: #ffffff;
    font-weight: bold;
    font-style: italic;
}

/* changed to 11pt from 85% - rs */

TD {
	font-family: Arial, Helvetica, sans-serif;
	font-size:11pt;
}

TD.fontMenoUno {
   font-size: 85%;
   vertical-align: middle;
}

TD.bg {
    background: #e0e0e0;
}

TD.b {
    background: #f5f5f5;
    font-weight: bold;
}

TD.bi {
    background: #ffffff;
    font-weight: bold;
    font-style: italic;
}

TD.bi2 {
    font-weight: bold;
    font-style: italic;
}

TD.sfondogrigio {
  background: #f5f5f5;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9pt;
  font-weight: bold
}

TD.celeste {
  background: #c6c6ff;
}

td.backButtons {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 85%;
}

A.backButtons {
	color: Navy;
  font-weight: bold;
}

div.Navy {
  color: Navy;
}

.mediumtext {
	font-size:80%;
}

.smalltext {
	font-size:75%;
}

.tinytext {
	font-size:70%;
}


/* Display a related topics heading without having to   */
/* type it.			              */

p.RelatedTopics {
    display:block;
    font-family: Arial, Helvetica, Geneva, sans-serif;
    font-weight: bold;
    font-size: 125%;
    background-color: #ffffcc;
}

/* Note and warning                                     */
/* It appears ICE doesn't support the first-line pseudo */
/* element needed to format note and warning properly.  */
/* In addition, it appears the border property does not */
/* appear to work.			        */

/* We are investigating how to properly format the Note */
/* and Warning. We would like them to really standout.  */

p.note {
    display: block;
    font-family: Arial, Helvetica, Geneva, sans-serif;
    font-size: 95%;
    font-style: italic;
}

p.warning {
    display: block;
    font-family: Arial, Helvetica, Geneva, sans-serif;
    font-size: 95%;
}

/* Modify size to match body font 		        */
/* Should pre have an indent?		        */
/* Removed indent - rs                                  */

pre {
    font-family: "Courier New", Courier, mono;
    font-size: 95%;
}

/* This causes entries in lists to line up with an even */
/* left edge 			        */

ul {list-style: outside;}
ol {list-style: outside;}

/* A little extra vertical space below a <li> 	  */
/* removed padding-bottom: 1% - buggy in NS4 - rs       */

/* GUI tag is applied to names of user interface 	  */
/* elements. This should be an inline element 	  */
/* (such as code) 			        */

.GUITag {
    font-family: Arial, Helvetica, Geneva, sans-serif;
    font-size: 95%;
    font-weight: bold;
    font-style: normal;
}

/* Property Name tag is applied to names of component   */
/* properties.  This should be an inline element 	  */
/* (such as code) 			        */

.PropertyName {
    font-family: "Courier New", Courier, mono;
    font-style: normal;
}

/* Color change for glossary items 		        */

.GlossaryItem {
    color : #008080;
    background-color : #FFFFFF;
    font-family: Arial, Helvetica, sans-serif;
}


/********************************************************/
/* @page printing issues 		        */
/* In this section we can put @page commands to control */
/* the properties used printed documents, such as font  */
/* size (in pts), where to break pages, etc. 	  */
/********************************************************/

div.leggero {
  color: rgb(204,204,204);
  font-style: italic;
}

div.fontMenoUno {
 font-size: 85%;
}

div.errors {
 color: red;
 font-weight: bold
}

.RED {
 color: red;
 font-weight: bold
}