H1
{
    font-size:      200%;
    color:          #00008B;
    text-align:     center;
    clear:          left;
}
H2
{
    font-size:      150%;
}
H3
{
    font-size:      125%;
}
H4
{
    font-size:      115%;
}
H5
{
    font-size:      108%;
}
BODY
{
    background:     #808080;
}
A:link
{
    color:          #336699;
}
A:visited
{
    color:          #3F7EBE;
}
A:active
{
    color:          #699BCD;
}
             
P.1-line-indented
{
    text-indent:    10px;
}
P.indented
{
    margin-left:    20px; 
    margin-top:     0px;
    margin-bottom:  0px;
}
PRE.code
{
    border-left-style: groove; 
    border-left-width: 1px; 
    padding-left:   2em; 
}

P.epigraph
{
    text-align:     right; 
    font-family:    Century Gothic; 
    font-style:     italic
}

P.test-output
{
    font-family:    Arial; 
    font-size:      12pt;
    margin-left:    2em;
    white-space:    nowrap
}

SPAN.test-output
{
    font-family:    Arial; 
    font-size:      12pt;
    white-space:    nowrap
}

P.page-toc
{
    font-weight:    bold;
    margin-top:     0px;
    margin-bottom:  0px;
}

P.page-toc-indented
{
    font-weight:    bold;
    margin-left:    20px; 
    margin-top:     0px;
    margin-bottom:  0px;
}

TABLE.body-table
{
    border:         5px solid #CDCDCD;
    width:          90%;
}
TABLE.body-table TD
{
    margin:         3px;
    padding:        13px; 
    color:          black;
    background:     #F0F0F0;
}

TABLE.parameter-table
{
    border:         black solid; 
    border-width:   0px 0px 2px;
    width:          100%
}
TABLE.parameter-table TD
{
    margin-top:     0px;
    margin-bottom:  0px;
    padding-top:    0px; 
    padding-bottom: 10px; 
}

TABLE.parameter-table TD.name
{
    width:          25%;
}

TABLE.parameter-values-table
{
    border:         none;
    width:          100%
}
TABLE.parameter-values-table TD
{
    margin:         0px;
    padding-top:    0px; 
    padding-bottom: 5px; 
}

TABLE.2fields
{
    border:         none collapse;
    padding:        0px;
    margin:         0px;
}
TABLE.2fields TD
{
    margin-left:    0px;
    padding-left:   40px; 
    valign:         top;
}

SPAN.literal
{
    color:          rgb(140,35,00);
}
SPAN.reserv-word
{
    color:          #6666FF;
    font-style:     italic
}
SPAN.cpp-type
{
    color:          rgb(150,0,205);
    font-weight:    bold;
}
SPAN.comment
{
    color:          rgb(00,99,33);
}
SPAN.new-term
{
    font-weight:    bold;
}
IFRAME.inline-source-inlclusion
{
    border-style:   groove;
    border-width:   1px;
    marginheight:   10px;
    marginwidth:    10px;
    width:          95%;
    height:         200px;
    scrolling:      auto;
}

DIV.print-header
{
    display:        none;
}

.header-menu
{
    font-weight:    bold;
    font-family:    Arial; 
    position:       absolute;
}

.header-menu A:link
{
    color:          black;
}
.header-menu A:visited
{
    color:          black;
}
.header-menu A:active
{
    color:          black;
}

.header-menu-root
{
    border-style:   none;
}

TABLE.#two-column-table
{
    width:          90%;
    padding:        0px;
    border:         1px solid black;
}

TABLE.#two-column-table THEAD TD
{
    background:     #B4B4CA;   
    border:         1px solid black;
    color:          white;
    font-weight:    bold;
    width:          50%;
    font-size:      12pt;
    text-align:     center;
}

TABLE.#two-column-table TBODY TD
{
    background:     #F0F0F0;
    border:         1px solid black;
    color:          black;
    width:          50%;
    text-align:     left;
}

DIV.centered
{
    text-align:     center;
}

DIV.centered TABLE.body-table
{
    margin:         0px auto;
    text-align:     left;
} 

SPAN.ref-to-top IMG
{
    border:         none;
    width:          30px;
    float:          right;
}

DIV.footer
{
    border-top:     solid 3px rgb(50,50,50);
}

TABLE.test-example-summary TD
{
    margin-top:     0px;
    margin-bottom:  0px;
    padding-top:    0px; 
    padding-bottom: 10px; 
}

TABLE.test-example-summary TD.title
{
    font-size:      110%;
    font-style:     italic
}

