body{
    color: #003366;

}

h2 {
    font-weight: bold;
    font-size: x-large;
    /*
    width: 100%;
    color: #ffffff;
    background-color: #8484ee;
    border: 1px none #8888f8;
    border-top: 1px solid #8888f8;
    border-left: 1px solid #8888f8;
    border-right: 1px solid #666699;
    border-bottom: 1px solid #666699;
    padding: 5px 3px 3px 0.5em;
    margin-top: 5px;
    margin-bottom: 10px;
    */
}
h3 {
    color: #ffffff;
    font-weight: bold;
    font-size: large;
    background-color: #003366;
    /*
    font-size: 1.3em;
    width: 100%;
    background-color: #33415e;
    */
    padding: 5px 3px 3px 0.5em;
}
h4 {
    width: 100%;
    font-weight: bold;
    font-size: 1em;
    color: #ffffff;
    background-color: #8484ee;
    border: 1px none #8888f8;
    border-top: 1px solid #ccccff;
    border-left: 1px solid #ccccff;
    border-right: 1px solid #666699;
    border-bottom: 1px solid #666699;
    padding: 5px 3px 3px 0.5em;
}

pre.light_blue {
    border: 1px solid #003366;
    padding: 5px;
    padding-left: 1em;
    white-space: pre;
    /*
    white-space: pre;
    width: 100%;
    */
    background-color: #f7faff;
}

div.light_blue {
    border: 1px solid #003366;
    padding: 0.5em;
    padding-left: 1em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    /*
    margin-top: 10px;
    width: 100%;
    */
    background-color: #f7faff;
}