@CHARSET "UTF-8";

div.body {
    width: 835px;
}

h1.blue {
    background-color: #E6ECFA;
    color: black;
    font-size: 10pt;
    font-weight: bold;
    padding: 3px 8px;
}
    div.body h1.blue {
        font-size: 10pt;
        font-weight: bold;
        color: black;
        padding: 3px 8px;
        margin: 1em 0;
        
        height: 19px;
    }

div.body p {
    color: #555;
}

#static-switcher {
    float: right;
    font-size: 8pt;
    margin-top: 1px;
    //margin-top: 0;
}