.glossary a
   {
      font-size: inherit;
      font-family: inherit;
      font-style: italic;
   } 

   .faq
   {
      background: #dddddd;
      padding: .25em .25em .25em .25em;
      margin-left: 1em;
      margin-right: 1em;
      border-style: solid;
      border-color: #444444;
      border-width: 1px;

      border-top-color:  #999999;
      border-left-color: #999999;
   }

   .faq p 
   { 
      font-size: inherit; 
      font-family: inherit; 
      margin-left: 1em; 
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      padding: .25em .25em .25em .25em;
      padding-top: .65em;
      margin-left: 1em;
      margin-right: 1em;
   }

   .faq h3 
   { 
      font-size: 90%;
      font-family: inherit; 
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      padding: .25em .25em .25em .25em;
      margin-right: 1em;
   }

   .values table {
      border-collapse: 0;
      border-spacing:  0;
      margin: 0 0 0 0;
      border: none;
      margin-top:     .75em;
      margin-left:    2em;
      margin-right:   2em;
      width: 85%;
   }

   .values td, th {
      text-align:      left;
      vertical-align:  top;
      font-family:     Verdana, Tahoma, Arial, Helvetica, sans-serif;
      font-size:       90%;
      padding:         0 0 0 0;
      margin:          0 0 0 0;
      padding-right:   1em;
   }

   .values th {
      border-bottom-style: solid;
      border-bottom-color: black;
      border-bottom-width: 1px;   
      font-weight: normal;     
      padding-left: 0;
   }



   .normal table {
      border-collapse: 0;
      border-spacing:  0;
      margin: 0 0 0 0;
      border: solid;
      margin-right:   1em;
      margin-left:    1em;
      padding-bottom: .25em;
      border-color: #444444;
      border-top-color:  #999999;
      border-left-color: #999999;
      border-width: 1px;
      width: 100% -;
   }

   .normal th {
      border: solid;
      border-color: white;
      border-width: 0;
      border-bottom-width: 1px;
      border-bottom-color: #999999;
      border-spacing: 0;

      background-color: #dddddd;
      border-collapse: collapse; 
      font-weight: normal;
   }

   .normal td, th {
      text-align:      left;
      vertical-align:  top;
      font-family:     inherit;
      font-size:       90%;
      padding:         0 0 0 0;
      margin:          0 0 0 0;
      padding-right:   1em;
      padding-left:    1em;
   }

   .normal td {
      padding-top:    2px;
      padding-bottom: 2px;
   }

   body {
      background-color: white;
      font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
      font-size: 90%;
   }

   p { font-size: inherit; font-family: inherit; }

   strong {
      color: black;
      font-weight: normal;
   }

   h1 {
      color: black;
      border-bottom-style: solid;
      border-bottom-color: black;
      border-bottom-width: 1px;   
      font-size: 200%;
   }

   h2 {
      font-size: 90%;
      text-decoration: underline;
   }

   h3 {
      font-size: 90%;
   }

   h4 {
      font-size: 80%;
      font-style: italic;
   }

   .seealso li
   {
      list-style-type: none;
      display: inline;
   }

   .toc 
   { 
      margin: 0; 
      padding: 0; 
      list-style-type: none;
   } 

   .toc h3>a
   {
      color: black;
   }

   .toc a
   {
      text-decoration: none;
      color: #000088;
   }

   a
   {
      text-decoration: none;
      color: #000088;
   }

   .seealso a
   {
      text-decoration: none;
      color: #000088;
   }

   .reference a
   {
      text-decoration: none;
      color: #880000;
   }
 
   .param, .synopsis {
      font-family: Courier, "Courier New", Monospaced, Serif;
      font-size: 100%;
   }

   blockquote
   {
      font-family: Courier, "Courier New", Monospaced, Serif;
      font-size: 100%;
      padding-top: 1.5em;
      padding-bottom: 1.5em;
      padding-left:  2em;
      padding-right: 40%;
      margin: 0 0 0 0;
   }

   .function {
      font-family: Courier, "Courier New", Monospaced, Serif;
      font-size: inherit;
      color: #333333;
   }

   code 
   {
      font-family: Courier, "Courier New", Monospaced, Serif;
      font-size:    inherit;
   }

   .special {
      font-family: Courier, "Courier New", Monospaced, Serif;
   }

   .exdesc {
      padding-left: 0em;
   }


/* examples and output */     

p.example
{     
   font-family: Courier, "Courier New", Monospaced, Serif;
   font-size: inherit;
   padding-left: 1em;     
   white-space: pre;
}

p.output
{
   font-family:  Verdana, Tahoma, Arial, Helvetica, sans-serif;
   font-size:    inherit;
   white-space: pre;
   padding-left: 1em;
   color: #444444;
}

pre
{
   font-family: Courier, "Courier New", Monospaced, Serif;
   font-size: inherit;
   padding-left: 1em;     
   white-space: pre;
}

/* image heights */
img#jircii { height: 2.5in; }
img#thisscope { height: 3.25in; }
img#parsetree { height: 3in; }
img#regex { height: 2.5in; }
img#mdim { height: 2in; }
img#stack { height: 1.543in; }
img#sets { height: 2.635in; }
img#binaryB4 { height: 1.0in; }
img#binaryI1 { height: 1.0in; }
img#readpipe { height: 1.2in; }
img#writepipe { height: 1.2in; }