body {
    font-family: 'Helvetica', sans-serif;
    background-color: #E0E0E0;
    margin: 0;
    padding: 20px;
    color: #404040;
}

.container {
    max-width: 1000px;
    margin: 0 auto;
    display: flex;
    flex-direction: column;
    align-items: center;
}

.card {
    background-color: #EAEDED;
    border: 1px solid #D0D0D0;
    border-radius: 4px;
    padding: 10px;
    margin-bottom: 15px;
}

.control-frame {
    display: flex;
    justify-content: center;
    gap: 20px;
    padding: 15px;
}

.large-button {
    font-family: 'Helvetica', sans-serif;
    font-size: large;
    font-weight: bold;
    color: #FFFFFF;
    background-color: #5D6D7E;
    border: none;
    border-radius: 4px;
    padding: 10px 20px;
    cursor: pointer;
    min-width: 120px;
}

.large-button:hover {
    background-color: #4A5F6E;
}

.large-button:disabled {
    background-color: #8395A7;
    cursor: not-allowed;
}

.stats-label {
    font-size: large;
    font-weight: bold;
    text-align: center;
    margin: 15px 0 10px;
    color: #2C3E50;
}

.fact-label {
    font-size: x-large;
    text-align: center;
    max-width: 900px;
    margin: 10px 0 20px;
    color: #34495E;
}

.log-container {
    width: 100%;
    max-width: 900px;
}

.log {
    height: 350px;
    padding: 10px;
    overflow-y: auto;
    background-color: #F8F9F9;
    color: #2C3E50;
    border: 2px solid #D0D0D0;
    font-family: 'Consolas', monospace;
    font-size: large;
    white-space: pre-wrap;
}

.success {
    color: #27AE60;
}