#hdr_content,#toc_content,#txt_content {
    font-family:verdana,'nu sans','espy sans',helvetica,sans-serif;
    font-variant:normal;
    color:#000000;
    line-height:1.2; /* for IE(all) which fscks up li/dl/dt linespacing */
    /* If NNpx Verdana (aspect value of 0.58) is unavailable, 
     * but an available font had an aspect value of 0.46, the 
     * font-size of the substitute would be (NN * (0.58/0.46)) px
    */
    font-size-adjust:0.58; /* not supported by IE/5+6 */
}
#hdr_content  {
    font-size:0.75em;  
    text-align:right;
    padding-right:4px; /* so that the right-aligned text is not flush */
                       /* against the right edge of the window/viewport */
}
#toc_content {
    /* no font-size here: see '#toc_content table' rules below */
    line-height:1.05;
    color:#009966;
    background:url(./logo-all.gif) no-repeat fixed 0 0;
    padding:115px 0 0 0; /* padding to skip to below the background logo */
}
#txt_content {
    height:100%;
    font-size:0.75em;  
}
@media screen {
   /* optional: set the maximum text-line length to something reasonable */
   .txt_limit_width {max-width:450px;}
}

/* ------------------------------------------------------------ */
/* the following two are modified in ieXkludge.css */

.pseudo_h1 { /* h1 without the display:block attribute */
    font-variant:small-caps;
    font-size:110%; /*14px;*/
}
h1  { /* same as above */
    display:inline;
    font-variant:small-caps;
    font-size:110%; /*14px;*/
}

/* ------------------------------------------------------------ */

div#txt_content table {
    /* IE5 bug workaround (font-size not inherited) */
    font-size:1em; 
}

/* ------------------------------------------------------------ */

/* sidebar menu 
 * the font sizes must be specified here (and not in the div)
 * because IE5 tables do not properly inherit font-size (or color).
*/
#toc_content table {}
td.m1 { padding:0 2em 0 1.5em;font-variant:small-caps;font-size:0.75em;}
td.m2 { padding:0 2em 0 2.7em;font-variant:small-caps;font-size:0.75em;}
td.m3 { padding:0 2em 0 4.2em;font-variant:normal;font-size:0.63em;}
td.ar { padding:0 1em 0 0;font-size:0.70em;color:#009966;}

.m1,.m2,.m3 {color:#009966;}

/* ------------------------------------------------------------ */

a:link {color:#009966;text-decoration:none;font-weight:normal;}
a:visited {color:#009966;text-decoration:none;font-weight:normal;}
a:hover {color:#000000;text-decoration:none;font-weight:normal;}
a:active {color:#009966;text-decoration:none;font-weight:normal;}

.ul { text-decoration:underline;}

.bggrey {background-color:#eeeeee;width:100%;}

/* mozilla uses padding to indent ul/dd, while IE uses margin */
.nohang_ul {padding:0;margin:0;padding-left:1.1em;}