body /* This body tag requires the use of one of the sets of banner and/or text div ids */
    {
    margin: 0px 0px 0px 0px;
    padding: 0px 0px 0px 0px;
    background: #ffffff; 
    color: #000000;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 70%;
    width: 100%;
    /*overflow: expression('hidden');*/
    }

code
    {
    font-size: 12px;
    }
p
    {
    margin-top:5pt;
    margin-bottom:5pt;
    margin-left:15pt;
    margin-right:8pt;
    }

li
    {
    margin-top:5pt;
    margin-bottom:5pt;
    margin-left:15pt;
    margin-right:8pt;
    }
    
 
table
    {
    margin-left:15pt;
    margin-right:8pt;
    }
    

h1  {
        font-size: 125%;
        margin-left:5pt;
    }

    
h2  {
        font-size: 110%;
        margin-left:5pt;
    }

div#nsbanner /* Creates Nonscrolling banner region */
    {
    position: relative;
    left: 0px;
    padding: 0px 0px 0px 0px;
    border-bottom: 1px solid #999999;
    /*width: expression(document.body.clientWidth);*/
    background-color: #99ccff;
    } 

div.syntax {
    margin-top: .5em;
    margin-bottom: .5em;
}

.code,
div.syntax {
    font: 100% Monospace Courier New Courier;
    color: #000066;
}

div.syntax {
    background: #cccccc;
    padding: 4px 8px;
    cursor: text;
    margin-top: 1em;
    margin-bottom: 1em;
    color: #000000;
    border-width: 1px;
    border-style: solid;
    border-color: #999999;
    font-weight: bolder;
    letter-spacing: .1em;
}

.syntax span.lang {
    margin: 0;
    font-weight: normal;
}

.syntax span.meta {
    margin: 0;
    font-weight: normal;
    font-style: italic;
    display: none;

}

.syntax a {
    margin: 0;
    font-weight: normal;
}

.syntax div {
    padding-left: 24px;
    text-indent: -24px;
}

.syntax .attribute {
    font-weight: normal;
}

P.Preformatted-syntax {
    x-text-tab-stops: repeat 1in;
    white-space: nowrap;
    letter-spacing: .1em;
    cursor: text;
    padding: 4px 8px;
    background: #F0F0F0;
    color: #000066;
    font: "Courier New", Courier, mono;
    margin-bottom: .5em;
    margin-top: .5em;
    border: none;
}

thead td {
        border: none;
        font-weight: bold;
        background-color: #E8E8E8;
        font-size: 75%;
}

tbody td {
        border: none;
        background-color: #F0F0F0;
        font-size: 70%;
}

.diagram {
        margin-left: 0;
        margin-right: 0;
}

.diagram td {
        background-color: #FFFFFF;
}

.diagram1 {
        margin-left: -20;
        margin-right: 0;
}