.code {
    background: #e3e3e3;
    color: #0000ff;
    font-family: 'Courier', 'Courier';
    font-size: 9.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.22;
    margin-bottom: 0.000000pt;
    margin-left: 4.50pt;
    margin-right: 4.50pt;
    margin-top: 0.000000pt;
    padding-bottom: 0.000000pt;
    padding-top: 0.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}
.NavList_Body {
    color: #000000;
    font-family: arial, sans-serif;
    font-size: 9.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.22;
    margin-bottom: 0.000000pt;
    margin-left: 0.00pt;
    margin-right: 0.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 2.000000pt;
    padding-top: 0.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}
.Sub_heading {
    color: #000000;
    font-family: 'TimesNewRomanPS-BoldMT', 'Times New Roman';
    font-size: 13.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    letter-spacing: 0;
    line-height: 1.23;
    margin-bottom: 0.000000pt;
    margin-left: 3.00pt;
    margin-right: 3.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 2.000000pt;
    padding-top: 8.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}
.Heading {
    color: #000000;
    font-family: 'TimesNewRomanPS-BoldMT', 'Times New Roman';
    font-size: 16.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    letter-spacing: 0;
    line-height: 1.17;
    margin-bottom: 0.000000pt;
    margin-left: 3pt;
    margin-right: 3.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 4.000000pt;
    padding-top: 12.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}

.Bullet {
    list-style: disc;
    list-style-position: outside;
    margin-bottom: 0.000000pt;
    margin-left: 30pt;
    margin-top: 0.000000pt;
    padding-left: 0pt;
}

.list_body {
    color: #000000;
    font-family: 'TimesNewRomanPSMT', 'Times New Roman';
    font-size: 11.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.09;
    margin-bottom: 0.000000pt;
    margin-left: 3.00pt;
    margin-right: 3.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 8.000000pt;
    padding-top: 0.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    /*vertical-align: 0.000000em;*/
}
.Body {
    color: #000000;
    font-family: 'TimesNewRomanPSMT', 'Times New Roman';
    font-size: 11.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.09;
    margin-bottom: 0.000000pt;
    margin-left: 3.00pt;
    margin-right: 3.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 12.000000pt;
    padding-top: 0.000000pt;
    text-align: left;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}
.big_diagram {
    color: #000000;
    font-family: 'TimesNewRomanPSMT', 'Times New Roman';
    font-size: 11.00pt;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.09;
    margin-bottom: 0.000000pt;
    margin-left: 0.00pt;
    margin-right: 0.00pt;
    margin-top: 0.000000pt;
    padding-bottom: 12.000000pt;
    padding-top: 0.000000pt;
    text-align: center;
    text-decoration: none;
    text-indent: 0.00pt;
    text-transform: none;
    vertical-align: 0.000000em;
}
.Numbered_List {
    list-style: decimal;
    list-style-position: outside;
    margin-bottom: 0.000000pt;
    margin-left: 30.000000pt;
    margin-right: 3pt;
    margin-top: 0.000000pt;
    padding-left: 0pt;
    text-indent: 0.000000pt;
}
.NavList {
    list-style: disc;
    font-family: arial, sans-serif;
    font-size: 9.00pt;
    margin-bottom: 0.000000pt;
    margin-left: 5.000000pt;
    margin-top: 0.000000pt;
    padding-left: 8pt;
    text-indent: 0.000000pt;
    text-decoration: none;
}
.NavList a:link {
 text-decoration: none;
}
.NavList a:hover {
 color: #ff0000;
 text-decoration: underline;
}


.NavTop {
    font-family: arial, sans-serif;
    font-size: 10.00pt;
    font-weight: normal;
    background: #f5f5f5;
    color: #0000ff;
    border-top:    1px solid #a0a0ff; 
    border-bottom: 1px solid #a0a0ff;
    border-left:   1px solid #a0a0ff; 
    border-right:  1px solid #a0a0ff;
}
.NavTop a:link {
 text-decoration: none;
}
.NavTop a:hover {
 color: #ff0000;
 text-decoration: underline;
}
#show {
width: 248px;
margin-left: auto;
margin-right: auto;
margin-top: 5px;
margin-bottom: 5px;
}
p {
text-align: left;
margin: 10px;
}