body {
    font-family: Arial, sans-serif;
    background: #f4f6f8;
    margin: 0;
    padding: 0;
}

.container {
    width: 80%;
    max-width: 900px;
    margin: 50px auto;
    background: white;
    padding: 30px;
    border-radius: 12px;
    box-shadow: 0 4px 15px rgba(0, 0, 0, 0.1);
}

h1 {
    margin-bottom: 5px;
}

textarea {
    width: 100%;
    height: 300px;
    margin-top: 20px;
    padding: 15px;
    font-family: monospace;
    font-size: 14px;
    box-sizing: border-box;
    border: 1px solid #ccc;
    border-radius: 8px;
}

button {
    margin-top: 15px;
    padding: 12px 20px;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    font-size: 16px;
}

button:disabled {
    opacity: 0.6;
    cursor: not-allowed;
}

#result {
    margin-top: 25px;
    padding: 20px;
    background: #f0f2f5;
    border-radius: 8px;
}
.result-error,
.result-suggestion,
.result-fixed {
    margin-top: 15px;
    padding: 15px;
    border-radius: 8px;
}

.result-error {
    background: #ffe5e5;
}

.result-suggestion {
    background: #fff4cc;
}

.result-fixed {
    background: #e5f7e5;
}

.result-fixed pre {
    margin-top: 10px;
    padding: 12px;
    background: #f4f4f4;
    border-radius: 6px;
    overflow-x: auto;
    font-family: monospace;
}

/* Code card header: label on the left, action buttons on the right */
.code-card-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
}

.card-actions {
    display: flex;
    gap: 8px;
}

.copy-btn {
    margin-top: 0;
    padding: 5px 12px;
    font-size: 13px;
    background: #3b82d4;
    color: white;
    border-radius: 5px;
    cursor: pointer;
}

.copy-btn:disabled {
    background: #6aaa6a;
    cursor: default;
}

/* Regression test card */
.result-regression {
    margin-top: 15px;
    padding: 15px;
    border-radius: 8px;
    background: #eef3fb;
}

.result-regression pre {
    margin-top: 10px;
    padding: 12px;
    background: #f4f4f4;
    border-radius: 6px;
    overflow-x: auto;
    font-family: monospace;
}

/* Verify Fix button */
.verify-btn {
    margin-top: 0;
    padding: 5px 12px;
    font-size: 13px;
    background: #5b6470;
    color: white;
    border-radius: 5px;
    cursor: pointer;
}

.verify-btn:disabled {
    opacity: 0.6;
    cursor: not-allowed;
}

/* Verification result cards */
.result-verify {
    margin-top: 10px;
    padding: 12px 15px;
    border-radius: 8px;
    font-size: 14px;
}

.result-verify pre {
    margin-top: 8px;
    padding: 10px;
    background: #f4f4f4;
    border-radius: 6px;
    overflow-x: auto;
    font-family: monospace;
    font-size: 13px;
}

.result-verify-pass {
    background: #e5f7e5;
    border-left: 4px solid #4caf50;
}

.result-verify-fail {
    background: #ffe5e5;
    border-left: 4px solid #e53935;
}

/* Issues list card */
.result-issues {
    margin-top: 15px;
    padding: 15px;
    border-radius: 8px;
    background: #fff4cc;
}

.issues-list {
    margin: 8px 0 0 0;
    padding-left: 20px;
}

.issues-list li {
    margin-top: 5px;
    font-family: monospace;
    font-size: 14px;
}