style.css

button#check_b {
    /* border: 1px solid #CFD6E6; */
    /* background-color: #F5F6F7; */
    font-variant: small-caps;
    /* padding: 8px; */
}
#aoa {
    font-family: sans-serif;
    font-weight: bold;
    display: block;
    color: black;
}
#checkmark {
    margin-top: -20%;
    margin-bottom: -20%;
    font-size: 180%;
    font-weight: bolder;
    font-family: serif;
    display: block;
    text-align: right;
    width: 100%;
    color: #729FCF;
}

.blur {
    -webkit-filter : blur(1px) grayscale(100%);
    -moz-filter    : blur(1px) grayscale(100%);
    -o-filter      : blur(1px) grayscale(100%);
    -ms-filter     : blur(1px) grayscale(100%);
    filter         : blur(1px) grayscale(100%);
    opacity: 0.5;
}

.block-view {
    position: absolute;
    top: 10%;
    left: 0;
    right: 0;
    bottom: 0;
    z-index: 999;
}

#loginform,
#serverfault {
    /* hide initially; js calls show() if there is a message: */
    display: none;
    background-color: white;
    border: 1px solid #D4D0C8;
    margin: 1em;
    padding: 1em;
}
#serverfault {
    font-style: italic;
}
#serverfault div {
    margin: 1em;
    font-family: monospace;
}

#examples button {
    margin-bottom: 0.5em;
}

.loading {
    background-color: #f2f2f2;
}


.glyphicon.spinning {
    -webkit-animation: spinw 1s infinite linear;
    -moz-animation: spinm 1s infinite linear;
    -o-animation: spino 1s infinite linear;
    animation: spin 1s infinite linear;
}
@-webkit-keyframes spinw {
    from { -webkit-transform: rotate(0deg); }
    to { -webkit-transform: rotate(360deg); }
}
@-moz-keyframes spinm {
    from { -webkit-transform: rotate(0deg); }
    to { -webkit-transform: rotate(360deg); }
}
@-o-keyframes spino {
    from { -webkit-transform: rotate(0deg); }
    to { -webkit-transform: rotate(360deg); }
}
@keyframes spin {
    from { transform: scale(1) rotate(0deg); }
    to { transform: scale(1) rotate(360deg); }
}

/* Bootstrap overrides: */
@media screen and (min-width: 400px) {
    /* Our navbar is quite short :) */
    .navbar-header {
        float: left !important;
    }
    .navbar-right {
        float: right !important;
    }
}