div.banner {
    overflow: hidden;
    height: 48px;
    clear: both
    }
.banner div.logo {
    float: left;
    /* fix IE 'doubled float-margin bug'
        
                display:inline; 
        
                */
    }
.banner div img {
    vertical-align: top
    }
.banner div.msg, .banner div.company {
    font-family: Helvetica, Arial, sans-serif;
    font-weight: bold
    }
.banner div.msg {
    font-size: 200%;
    width: 1px;
    overflow: visible;
    margin-top: 1ex;
    float: left
    }
.banner div.company {
    font-size: 175%;
    /* used? */
    white-space: nowrap;
    float: right
    }
.banner div.logout {
    margin: 14px 4px;
    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
    }