.wr {
    margin-left: 1.2em;
    margin-right: 1.2em;
}

pre {
    font-size: 18px;
    font-family: monospace;
}

.small {
    font-size: 14px;
    color: gray;
}

#description {
    color: darkgray;
    font-style: italic;
}

.players-wrapper {
    position: fixed;
    right: 0;
    bottom: 0;
    padding: 10px;
    width: 80%;
    background: #f0f8ffa6;
    max-width: 660px;
}

.hidden {
    display: none;
}

.btn {
    font-size: 12px;
    font-family: monospace;
}