body
{
    margin: 0px 0px 0px 0px;
    padding: 0px 0px 0px 0px;
    background: #ffffff; 
    color: #000000;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 70%;
}



h1, h2, h3, h4
{
    font-family: Verdana, Arial, Helvetica, sans-serif;
    margin-bottom: .4em; 
    margin-top: 1em;
    font-weight: bold;
}

h1
{
    font-size: 150%;
    margin-top: 0em;
}

h2
{
    font-size: 120%;
}

h3
{
    font-size: 100%;
}

h4
{
    font-size: 90%;
}


a:link
{
    color: #0000ff;
}

a:visited
{
    color: #666699; 
}

a:hover
{
    color: #3366ff;
}


img
{
    border: none; 
}


ol, ul
{
    padding: 0px;
    margin-left: 40px;
}

li p
{
    margin-top: 7px;
    margin-bottom: 7px;  
}

.arrowsynopsiscontent
{
    display: none;
    padding-left: 14px;
}

.header
{
    background-color : #DDDDDD;
}


.small
{
    font-size: 90%;
}

div.section, div.chapter 
{
    padding: 5px;
}

div.informaltable table
{
    border-collapse: collapse;
    font-size: 100%;
}

div.informaltable th 
{ 
    border: 1px solid #9C9C9C;
    vertical-align: baseline;
    background-color: #CECECE;
    text-align: center;
    padding-bottom: 3px;
    padding-top: 3px;
}

div.informaltable td 
{ 
    border: 1px solid #9C9C9C; 
    vertical-align: baseline;
    padding-bottom: 4px;
    padding-left: 8px;
    padding-right: 6px;
    padding-top: 4px;
}   

a.LinkMark
{
    text-decoration: none;
    color:#950000;
}

a:visited.LinkMark
{
    color:#950000;
}

a:hover.LinkMark
{
    color:#950000;
}

.seealso ul
{
    margin-left: 20px;
    margin-top: 10px;
}

.seealso ul li 
{
    margin-top: 7px;
    margin-bottom: 7px;  
}

.mapcontainer
{
    height: 4em;
    width: 640px;
}

pre.programlisting
{
    font-family:Courier New;
    font-size:12px;
    background-color: #E8E8E8;
    border: solid  #B8B8B8 1px;

    padding-top: 4px;
    padding-bottom: 4px;
    padding-left: 8px;
    padding-right: 8px;
}

