A {

  text-decoration: none; 

  color:#0075BC;

}

A:link {

  text-decoration: none;

}

A:visited {

  text-decoration: none;

}

A:hover {text-decoration: underline;}



div.section {

   font-size: 16pt;

   font-weight: bold;

   font-family: Imago,Helvetica,Arial;

}



/* setting the default fonts, size 13 ensure antialiasing */

body, div, p, td, ul, ol {

   font-family: Helvetica,Arial;

   font-size: 13pt;

}

full {
   font-family: Courier,Courier-New;

   font-size: 10pt;

}
pre {

   font-size: 9pt;

}
small {

   font-family: Helvetica,Arial;

   font-size: 9pt;

}


tiny {

   font-family: Helvetica,Arial;

   font-size: 3pt;

}

span.downloads {

   font-family: Courier,Courier_New;

   font-size: 9pt;

}


h1  {

   font-family: Helvetica,Arial;

   font-size: 18pt;

   font-weight: bold;

   color: #FF0000;

}

h2  {

   font-family: Helvetica,Arial;

   font-size: 16pt;

   font-weight: bold;

}

h3  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: normal;

   font-weight: bold;

   color: #FF0080;

/*   font-style: underline;   */

}

h4  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: normal;

   font-weight: bold;

   color: #000080;

}



h6  {

   font-family: Courier New, Courier;

   font-size: 10pt;

   font-style: normal;

   color: #000080;

}



td.tip  {

   font-family: Helvetica,Arial;

   font-size: 10pt;

   font-style: normal;

   color: #000080;

}



td.top  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: normal;

   font-weight: bold;

   color: #000080;

}



td.tap  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: normal;

   color:#0075BC;

}



td.tap2  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: italic;

   color:#0075BC;

}



td.smaller  {

   font-family: Helvetica,Arial;

   font-size: 8pt;

   font-style: normal;

}



td.smallerbold  {

   font-family: Helvetica,Arial;

   font-size: 8pt;

   font-weight: bold;
   color:#0075BC;

   font-style: normal;

}



td.small  {

   font-family: Helvetica,Arial;

   font-size: 10pt;

   font-style: normal;

}



td.medium  {

   font-family: Helvetica,Arial;

   font-size: 12pt;

   font-style: normal;

}


em { 

   font-weight: bold;

   font-style: normal;

}



td.searchOption {

   font-family: Courier New, Courier;

   font-size: 9pt;

}



td.searchBox {

    /* set font-face to an illegal value: forces netscape to use correct input size */

   font-family: Minion Web,Minion,Helvetica,Arial;

   font-size: 10pt;

}