body {
    margin: 0px;
    padding: 0px;
    color: #fff;
    background-color: #354245;
    font-size: 14px;
    font-family: Roboto, Arial, Helvetica, sans-serif;
}

#divHeader {
    background-color: rgb(24,30,31);
    border-top: 5px solid #ff530d;
}

#divFooter {
    clear: both;
}

#divHeader, #divApp, #divPrereq, #divStart, #divFooter {
    padding: 25px 60px;
}

    #divFooter, #divFooter a {
        font-size: 12px;
        color: #ccc;
    }

        #divFooter a {
            text-decoration: none;
        }

            #divFooter a:hover {
                text-decoration: underline;
                color: #ff530d;
            }

.logo {
    width: 233px;
    height: 64px;
}

h1, h2 {
    margin: 0;
    padding: 0;
}

h2 {
    color: #999999;
}

li {
    color: #ff530d;
    margin-top: 4px;
    margin-bottom: 4px;
}

ul.s {
    list-style-type: square;
    padding-left: 15px;
}

ul.b {
    list-style-type: none;
    margin: 0;
    padding: 0
}

    ul.b li {
        float: left;
    }

.pl, .pl:visited {
    color: #ccc;
    text-decoration: none;
}

    .pl:hover {
        color: #ff530d;
        text-decoration: underline;
    }

.button {
    color: white;
    padding: 6px 20px;
    background-color: whitesmoke;
    cursor: pointer;
    cursor: hand;
    font-size: 14pt;
    text-decoration: none;
}

    .button:visited {
        color: white;
    }

    .button:hover {
        color: white;
        background-color: gainsboro;
    }

.default {
    background-color: #5cb85c;
    color: white;
}

    .default:hover {
        background-color: #47a447;
        color: white;
    }

#divFooter ul.s {
    padding-left: 14px;
}

.c1 {
    clear: both;
    float: left;
    width: 85px;
}

.c2 {
    float: left;
    font-weight: bold
}

.c1, .c2 {
    padding-bottom: 10px;
}

#divPrereq {
    clear: both;
}

/* Repair / reinstall fallback (secondary to the green Start button). */
#divRepair {
    clear: both;
    padding: 25px 60px;
    border-top: 1px solid #46585c;
}

    #divRepair p {
        margin: 0 0 12px;
        color: #cfd6d7;
        font-size: 13px;
    }

.alt {
    background-color: #5f7377;
}

    .alt:hover {
        background-color: #4d5e61;
    }

p {
    line-height: 1.5;
    margin-bottom: 0px;
}