/*css stylesheet for IFOND*/
        body {color: black; background: white;
        }

        .feature { 
                 text-align: left; border: none;
                margin-left: 2em; margin-right: 2em;
                margin-top: 0.5em; margin-bottom: 0.5em; background-color: #F1F1F1;
         width: 100%;}
        .sans {font-family: arial, helvetica,verdana, sans-serif;}
        .floatleft {float: left; background-color: rgb(255, 255, 204); }
        .floatright {float: right;
                }
        .ref {margin-left: 3em; margin-right: 1em;
                list-style-type: disc; list-style-position: inside;}

	.refbold {margin-left: 3em; margin-right: 1em; font-weight: bold; font-size: 1.2em;
                list-style-type: disc; list-style-position: inside;}

        .dictnav { font-family: arial, helvetica,verdana, sans-serif;
                font-weight: bold; text-align: center; border: none;
                font-size:1.0em; line-height: 1.2em;
                margin-left: 1em; margin-right: 1em;
                margin-top: 0.5em; margin-bottom: 0.5em; background-color: #F1F1F1;
                 width: 100%;}
        .navy {  background-color: navy;  }
        .pink {  background-color: rgb(255,204,255);   }
        .blue {  background-color: rgb(153,255,255);  }
        .yellow { background-color: rgb(255,255,204);  }
        .gray { background-color: #F1F1F1;  }
        .white { background-color: rgb(255,254,255);  }
        .titlebox { text-align: left;
                width: 60%; font-family: arial, helvetica,verdana, sans-serif;
                background-color: #F1F1F1;
                margin-top: 0.25em; margin-bottom: 0.25em; margin-left: 0.2em;
                border: 1px solid #ccc;
                color: black;
                padding: 5px;
                padding-left: 0.5em;
                padding-right: 0.5em;
                font-size: 1.3em;
                font-weight: bold;

               }
         .bordered {  border: 2px solid #000; padding: 2px;
                }
         .borderedlink {  border: 2px solid blue; padding: 2px;
                }
         .tight { margin-top: 0.2em;
                 margin-bottom: 0.2em;
                 padding: 5px;
                 padding-left: 0.5em;
                 padding-right: 0.5em;
                font-family: helvetica, arial,  verdana, sans-serif;
                font-size:1.0em;
                text-align: left;
                }
	.tight-courier { margin-top: 0.2em;
                 margin-bottom: 0.2em;
                 padding: 5px;
                 padding-left: 0.5em;
                 padding-right: 0.5em;
                font-family: courier, serif;
                font-size:1.0em;
                text-align: left;
                }
          .tight-title { margin-top: 0.2em;
                 margin-bottom: 0.2em;
                 padding: 5px;
                 padding-left: 0.5em;
                 padding-right: 0.5em;
                font-family: helvetica, arial,  verdana, sans-serif;
                font-size:1.0em;
                text-align: left;
                color: white;
                background-color: #F1F1F1;
                }
           .topnav {
                font-family: arial, helvetica,verdana, sans-serif;
                margin-left: 0em;
                margin-right: 0em;
                margin-top: 0em;
                margin-bottom: 0em;
                text-align: center;
                font-weight: bold;
                font-size:1.0em;
                line-height: 1.2em;
                padding: 5px;
                padding-left: 0.5em;
                padding-right: 0.5em;
                border: 2px solid navy;
                color: navy;
                background-color: #F1F1F1;
                }
            .toptitle {
                margin-left: 0em;
                margin-right: 0em;
                margin-top: 0em;
                margin-bottom: 0em;
                text-align: center;
                font-weight: normal;
                font-size:1.0em;
                line-height: 1.2em;
                padding: 5px;
                padding-left: 0.5em;
                padding-right: 0.5em;
                border: 2px solid navy;
                color: black;
                background-color: rgb(250,250,240);
                }
        /* Konqueror makes everything bold  */
        b {font-weight: bold;  font-size: 1.2em;
          font-style: normal;}

        strong {  font-size: 1.2em;
         font-weight: bold;
          font-style: normal;
          }
        strong.nav {font-weight: bold;}

        em { font-size: 1.1em; font-weight: bold; font-style: inherit; background-color: yellow;}
        em.arrow  { background-color: navy;}


        div.box { border: solid; border-width: thin; width: 100%; }

        div.main { margin-left: 2em; margin-right: 2em;

                }
        div.img {margin-left: 2em; border: solid; border-width: thin; }



        a.defn:link { color: black; text-decoration: underline;}  /* for unvisited links */
        a.defn:visited { color: black;text-decoration: underline; } /* for visited links */
        a.defn:active { color: rgb(255, 0, 102); } /* when link is clicked */
        a.defn:hover { color: rgb(0, 96, 255);text-decoration: underline; } /* when mouse is over link, does not work in NN */

        a.nav:link  { color: blue;text-decoration: none; }  /* for unvisited links */
        a.nav:visited  { color: blue;text-decoration: none; }  /* for visited links */
        a.nav:active { color: rgb(255, 0, 102); } /* when link is clicked */
        a.nav:hover  { background-color: yellow; text-decoration: underline; color: purple;
         }  /* when mouse is over link */

        a.navbox:link  { color: black; }  /* for unvisited links */
        a.navbox:visited  { color: black; }  /* for visited links */
        a.navbox:active { color: rgb(255, 0, 102); } /* when link is clicked */
        a.navbox:hover  { color: red; background-color: white; text-decoration: underline; }  /* when mouse is over link */
	
	a.navbold:link  { color: blue;text-decoration: none; font-weight: bold;}  /* for unvisited links */
        a.navbold:visited  { color: blue;text-decoration: none; font-weight: bold;}  /* for visited links */
        a.navbold:active { color: rgb(255, 0, 102); font-weight: bold;} /* when link is clicked */
        a.navbold:hover  { background-color: yellow; font-weight: bold; text-decoration: underline; color: purple;
         }  /* when mouse is over link */

        a.plain:link  { color: white; background-color: navy;text-decoration: none; }  /* for unvisited links */
        a.plain:visited  { color: white; background-color: navy;  }  /* for visited links */
        a.plain:active { color: yellow;  background-color:rgb(255,0, 102);  } /* when link is clicked */
        a.plain:hover  { color: navy; background-color: yellow;text-decoration: none; }  /* when mouse is over link */

        a.nav-master:link  { color: navy; background-color: #F1F1F1;text-decoration: none; }  /* for unvisited links */
        a.nav-master:visited  { color: navy; background-color: #F1F1F1;  }  /* for visited links */
        a.nav-master:active { color: yellow;  background-color:rgb(255,0, 102);  } /* when link is clicked */
        a.nav-master:hover  { color: navy; background-color: yellow;text-decoration: underline; }  /* when mouse is over link */
	
	a.title:link { color: black; text-decoration: none;}  /* for unvisited links */
        a.title:visited { color: black;text-decoration: none; } /* for visited links */
        a.title:active { color: rgb(255, 0, 102); } /* when link is clicked */
        a.title:hover { color: rgb(0, 96, 255);text-decoration: underline; } /* when mouse is over link, does not work in NN */	

	a.textref:link  { color: blue;text-decoration: none; vertical-align: super; font-size: 75% }  /* for unvisited links */
        a.textref:visited  { color: blue;text-decoration: none; vertical-align: super; font-size: 75%}  /* for visited links */
        a.textref:active { color: rgb(255, 0, 102); vertical-align: super; font-size: 75%} /* when link is clicked */
        a.textref:hover  { background-color: yellow; text-decoration: underline; color: purple; vertical-align: super; 
         font-size: 75%}  /* when mouse is over link */

        span.right {text-align: right;}

        table.main {width: 100%; background-color: white;
                        }
        /* note that {text-indent: negative values;}  causes link problems in Konqueror for KDE2.1 */
        p.top {  margin-top: 0.1em; margin-bottom: 0.1em; text-align: left;
             font-family: helvetica, arial,  verdana, sans-serif;
             background-color: rgb(255, 255, 204); border: none; padding: 0em;
                  width: 65%;
             font-size:1.0em; font-weight: bold; line-height: 1.2em;}

        p.loose {margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 0.5em;
             font-family: helvetica, arial,  verdana, sans-serif; font-size:1.1em; line-height: 1.3em;
             }
        p.tightcentre {margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 0.5em;font-weight: bold;
             font-family: helvetica, arial,  verdana, sans-serif;text-align: center;}
        p.changed {
                padding-left: 0.2em;
                border-left: solid;
                border-right: none;
                border-top: none;
                border-bottom: none;
                border-left-width: thin;
                border-color: red;
              }
        p.head {font-size: 1.1em; font-weight: bold;
                font-family: charter, times, "times new roman",garamond, serif ;
                text-align: center; padding-top: 0em; padding-bottom: 1em;
                }

        p.index { font-family: arial, helvetica,verdana, sans-serif; margin-left: 2em; margin-right: 2em;
                margin-top: 0.25em; margin-bottom: 0.25em; font-size:1.0em;}


        p.bigbanner {font-family: arial, helvetica, sans-serif;  font-weight: bold; font-size: 110%;
                margin-left: 2em; margin-right: 2em;
                 color: white;  text-align: center;margin-top: 0.25em; margin-bottom: 0.25em;
                 border: 2px solid navy; }
        p.banner {font-family: arial, helvetica, sans-serif;  font-weight: bold; font-size: 100%;
                margin-left: 2em;
                margin-right: 2em;
                 color: white;  text-align: center;
                 margin-top: 0.25em; margin-bottom: 0.25em;
                  border: 2px solid navy;}


        p.defn {margin-left: 3em;  margin-right: 2em;
                text-align: justify;
                }
	p.indent {margin-left: 4em;  margin-right: 4em;
                text-align: justify;
                }

        p.flypoo {
                 margin-left: 2em; margin-right: 2em; text-align: center;}
        p.pagenav {font-weight: bold; font-family: arial, helvetica, sans-serif;
                 text-align: left; background-color: rgb(255, 255, 204); border: none;
                 width: 60%;font-size:1.0em;line-height: 1.2em;}
        p.big {margin-left: 2em; margin-right: 2em; font-size: 115%;
                font-family: "times new roman", time, serif;}

        img.head {border-width: thin;
         border-color: white;
          float: left; padding-top: 0em; padding-bottom: 1em;
          }
        /* img.box { border: solid; border-width: thin;  } this does not work in NN4+*/

        h2 {font-size: 1.75em; font-weight: bold; font-family: arial, helvetica, sans-serif;
                }
        h4 {font-size: 1.40em; font-weight: bold; font-family: arial, helvetica, sans-serif;margin-left: -1em;
                margin-top: 1em;}
        h3 {font-size: 1.00em; font-weight: bold; margin-left: -1em; margin-top: 1em;}


        ul.big {margin-left: 2em; margin-right: 2em; font-size: 115%;
                font-family: "times new roman", time, serif;}

        big { font-size: 130%;font-weight: bold;}