#maincontrols input[type=radio] {
    display:none;
    margin:10px;
}

#maincontrols input[type=radio] + label {
    display:inline-block;
    margin:-2px;
    padding: 4px 12px;
    background-color: #e7e7e7;
    border-style: solid;
    border-width: 1px;
    border-color: #000000;
}

#maincontrols input[type=radio]:checked + label {
    background-color: #000000;
    color: #ffffff;
}

input[type=radio]:checked#run + label {
    background-color: #0fff00;
    color: #000000;
}

input[type=radio]:checked#pause + label {
    background-color: #ff0000;
    color: #000000;
}

input[type=radio]:checked#insane + label {
    color: #ff0000;
}

#testscore {
    font-weight: bold;
    text-align: center;
}

#totaltestrounds {
    text-align: center;
}

input[type=checkbox] {
    visibility:hidden;
}

input[type=checkbox] + label {
    display:inline-block;
    margin:-2px;
    padding: 4px 12px;
    background-color: #e7e7e7;
    border-style: solid;
    border-width: 1px;
    border-color: #000000;
}

input[type=checkbox]:checked + label {
    background-color: #000000;
    color: #ffffff;
    font-style: italic;
}

textarea {
    width: 40%;
}

.borderedtable th {
    border: solid;
    border-width: 1px;
    padding: 3px;
}

#attributionnotice {
    position: fixed;
    bottom: 10px;
    right: 10px;
}