.highlight-key {
    color: #3c763d;
}

.highlight-string {
    color: black;
}

#params {
    width: 40%;
    display: inline-block;
}

#playpause {
    float: left;
    vertical-align: middle;
    height: 100%;
}
#status {
    background-color: #EEEEEE;
    font-style: italic;
    float: left;
    margin-left: 1em;
    width: 12em;
}
#stats {
    float: left;
    margin-left: 1em;
}

#main {
    vertical-align: top;
    display: inline-block;
    width: 58%;
    padding: 0;
    margin-left: 1em;
}
.json-params {
    font-size: small;
}
#output {
    padding: 0;
    clear: left;
    height: 140ex;
    overflow: hidden;
}

a:visited.btn {
    color: white;
}