div.banner {
    font-family: Arial, sans-serif; 
    font-size: 85%;  
    margin: 0;
    background: rgb(70,105,173);  /* #4669AD */

    font-weight: bold;
    position: absolute;
    position: fixed;
    margin-top: 1em;
    margin-left: 0.25em;
    line-height:150%;
    width: 13em;
    min-width:160px;
    float: left; 
    /* padding: 0.125em 0em 0.125em 0.25em;   */ /*   o . u  l*/
    /* padding: 0em 0em 0.125em 0em; */
    padding: 0em 0em 0.1em 0em;
    background: rgb(70,105,173);
    background: rgb(0,0,120);  
    color: #ffffff;
}



div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 0px groove #900 }

div.banner a:link { text-decoration: none; color: #ffffff; background: rgb(70,105,173); }
div.banner a:visited { text-decoration: none; color: #a8ccfe; background: rgb(70,105,173);}
div.banner a:active { text-decoration: none; background: rgb(0,0,120); color: white; }
div.banner a:hover { background: rgb(0,0,120); color: white; }






div.header {
    font-family: Arial, sans-serif; 
    font-size: 180%;  
    margin: 0;
    background: rgb(70,105,173);  /* #4669AD */

    font-weight: bold;
    position: absolute;
    position: fixed;
    margin-top: -0.5em;
    margin-left: -0.5em;
    width: 100%;
    min-width:160px;
    float: left; 
    /* padding: 0.125em 0em 0.125em 0.25em;   */ /*   o . u  l*/
    /* padding: 0em 0em 0.125em 0em; */
    padding: 0em 0em 0.1em 0em;
    background: rgb(70,105,173);
    color: #ffffff;
}



div.header a, div.header em { display: block; margin: 0 0.5em }
div.header a, div.header em { border-top: 0px groove #900 }