/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */
  h1 { border-bottom: 0pt solid white;
    margin: 0pt;
    padding: 0pt;
    background-color: white;
    text-align: left;
    letter-spacing: 0pt;
    font-size: 100%;
    font-style: normal;
    font-weight: bolder;
    font-family: Arial, Helvetica, sans-serif;
    color: rgb(0, 153, 255);
    }
  h2 { border-bottom: 0pt solid white;
    margin: 18px 0pt 0pt;
    padding: 0pt;
    background-color: white;
    font-style: normal;
    text-align: left;
    letter-spacing: 0pt;
    color: blue;
    font-size: 120%;
    font-weight: bolder;
    font-family: Arial, Helvetica, sans-serif;
    }
  h3 { border-bottom: 0pt solid white;
    margin: 1em 1em 0em;
    padding: 0pt;
    color: black;
    background-color: white;
    text-align: left;
    letter-spacing: 0pt;
    font-size: 100%;
    font-family: Arial, Helvetica, sans-serif;
    }
  body { border-bottom: 0pt solid white;
    margin: 0pt;
    padding: 0pt;
    background-color: white;
    text-align: left;
    letter-spacing: 0pt;
    color: rgb(0, 0, 0);
    font-weight: normal;
    font-size: 80%;
    font-family: Arial, Helvetica, sans-serif;
    }
    
  default { border-bottom: 0pt solid white;
    margin: 0pt;
    padding: 0pt;
    background-color: white;
    text-align: left;
    letter-spacing: 0pt;
    color: rgb(0, 0, 0);
    font-weight: normal;
    font-size: 80%;
    font-family: Arial, Helvetica, sans-serif;
    }
  p { color: rgb(0, 0, 0);
    margin-top: 0pt;
    margin-left: 26pt;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 80%;
    }
    
  .highlight { background: #FFFF40; }
  .searchheading { font-size: 130%; font-weight: bold; }
  .summary { font-size: 80%; font-style: italic; } 
  .results { font-size: 90%; }
  .category { color: #999999; }
  .description { font-size: 100%; color: #008000; }
  .context { font-size: 90%; }
  .infoline { font-size: 80%; font-style: normal; color: #808080;}
  .sorting { text-align: right; }
  .result_title { font-size: 100%; }
  .zoom_searchform { font-size: 90%; }
  .zoom_options { font-size: 80%; }
   input.zoom_button {  }
   input.zoom_searchbox {  }