html {
    height: 100%;	/* Required for BODY background-color to work */
}
body {
    background-image: url("wheels.gif");
    background-position: center;
    background-repeat: no-repeat;
    background-size: cover;
    margin: 0;
}
.center-hv {
    background-color: #e0f0e0;
    position: absolute;
    padding: 10px;
    border: 2px solid #000;
    top: 50%;
    left: 50%;
    -moz-transform: translateX(-50%) translateY(-50%);
    -webkit-transform: translateX(-50%) translateY(-50%);
    transform: translateX(-50%) translateY(-50%);
}
textarea {
    text-transform: uppercase;
    font-size: 18px;
}
table {
    border-collapse: separate;
    border-spacing: 0px 3px;
}
.letterbox {
    border: 0px;
    padding: 0px;
    width: 18px;
    font-size: 18px;
    text-transform: uppercase;
    text-align: center;
    color: blue;
}
.highlight {
    background-color: #ffd0d0
}
.option, .option:hover {
    display: inline;
    font-size: 14px;
    padding: 5px;
    border-radius: 10px;
    background-color: #e0f0ff;
}
.option:hover {
    background-color: #c0d0ff;
}
.option:focus {
    outline: none;
    box-shadow: none;
}
div#solutions {
    height: 300px;
    overflow-y: scroll;
}