div.banner {
    overflow:               hidden;
    height:                 48px;
    background-color:       #12486c;
    clear:                  both;
}
.banner div.logo,
.banner div.msg,
.banner div.company,
.banner div.help {
    /*
    border:1px blue solid;
    */
}
.banner div.logo {
    background-color:       #ffffff;
    float:                  left;
    /* fix IE 'doubled float-margin bug'
    display:inline; 
    */
}
.banner div img {
    vertical-align:          top;
}
.banner div.msg,
.banner div.company {
    color:                  #cccccc;
    font-family:            Helvetica, Arial, sans-serif;
    font-size:              20px;
    font-weight:            bold;
}
.banner div.msg {
    color:                  #FF8C00;
    font-size:              24px;
    width:                  1px;
    overflow:               visible;
    margin-top:             1ex;
    float:                  left;
}
.banner div.company {
    white-space:            nowrap;
    float:                  right;
}
.banner div.help {
    margin-top:             3px;
    margin-right:           20px;
    float:                  right;
}
.banner div.rule {
    height:                 1px; 
    clear:                  both;
}
p.clear { 
    margin:                 0;
    clear:                  both;
}