/* Created manually, not by color-extractor.py */
div.banner {
    background-color: #12486c
    }
.banner div.logo {
    background-color: white
    }
.banner div.msg {
    color: #ff8c00
    }
.banner div.company {
    color: #cccccc
    }