div#top-stripe {
    background: #071d49;
    height: 75px;
    position: fixed;
    left: 0;
    right: 0;
    top: 0;
    z-index: 100;
}

div#top-stripe-pusher {
    height: 75px;
}

div#top-stripe-logo {
    padding: 11px 10px 10px 29px;
}