body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
    background-color: #f4f7f9;
    color: #333;
    margin: 0;
    padding: 20px;
    display: flex;
    justify-content: center;
    align-items: flex-start;
    min-height: 100vh;
}


h1, h2 {
    color: #2c3e50;
    border-bottom: 2px solid #e0e0e0;
    padding-bottom: 10px;
}

h1 {
    font-size: 2em;
}

h2 {
    font-size: 1.5em;
    margin-top: 0;
}

p {
    line-height: 1.6;
}

/* --- Main Layout Container --- */
.results-container {
    display: none; /* Hidden by default */
    background-color: #ecf0f1;
    padding: 20px;
    border-radius: 6px;
    margin-top: 20px;
    border: 1px solid #bdc3c7;
}

/* NEW: Styling for the standard form section */
#standard-form-display {
    background-color: #e8f6fd;
    border: 1px solid #aedff7;
    border-left: 4px solid #3498db;
    padding: 10px 15px;
    margin: 20px 0;
    border-radius: 4px;
}
#standard-form-display p {
    margin: 5px 0;
}

header {
    text-align: center;
    margin-bottom: 30px;
}

header p {
    font-size: 1.1em;
    color: #555;
}

/* --- Form Controls --- */
.controls {
    background-color: #fafafa;
    padding: 20px;
    border-radius: 6px;
    border: 1px solid #e8e8e8;
    margin-bottom: 30px;
    display: flex;
    flex-direction: column;
    gap: 20px; /* Space between control groups */
}

.control-group {
    display: flex;
    align-items: center;
    gap: 15px; /* Space between label and inputs */
}

.control-group label {
    font-weight: bold;
    font-size: 1.1em;
    min-width: 60px; /* Align labels */
}

select {
    padding: 8px 12px;
    font-size: 1em;
    border-radius: 4px;
    border: 1px solid #ccc;
    background-color: #fff;
}

button {
    font-size: 1.1em;
    font-weight: bold;
    color: #fff;
    background-color: #3498db;
    border: none;
    padding: 12px 20px;
    border-radius: 5px;
    cursor: pointer;
    transition: background-color 0.3s ease;
    align-self: center; /* Center the button */
}

button:hover {
    background-color: #2980b9;
}

/* NEW: Style for the secondary 'Clear' button */
.secondary-btn {
    background-color: #7f8c8d; /* A neutral grey */
}

.secondary-btn:hover {
    background-color: #95a5a6; /* A lighter grey for hover */
}


/* --- Results Area --- */
.results-container {
    background-color: #fdfdfd;
    border: 1px solid #e8e8e8;
    padding: 20px;
    border-radius: 6px;
    /* Initially hidden, will be shown by JavaScript */
    display: none; 
}

#syllogism-form {
    margin-bottom: 20px;
    padding: 15px;
    background-color: #eaf5ff;
    border-left: 4px solid #3498db;
}

#syllogism-form p, #validity-info p {
    margin: 8px 0;
    font-size: 1.1em;
}

#validity-info span {
    font-weight: bold;
}

/* Style for validity status */
#validity-status.valid {
    color: #27ae60; /* Green */
}

#validity-status.invalid {
    color: #c0392b; /* Red */
}

button:hover {
    background-color: #2980b9;
}

/* --- NEW: Error Container Styling --- */
.error-container {
    display: none; /* Hidden by default */
    background-color: #fbeae5; /* Light red background */
    color: #c0392b; /* Dark red text */
    border: 1px solid #e74c3c;
    border-left: 4px solid #c0392b; /* Red left border */
    padding: 15px;
    margin-bottom: 20px;
    border-radius: 6px;
}

copula-display {
    padding: 6px 12px;
    font-size: 14px;
    font-weight: bold;
    color: #0056b3; /* Make it stand out a bit */
    background-color: #e9ecef; /* Light background to match inputs */
    border: 1px solid #ced4da;
    border-radius: 0 4px 4px 0; /* Rounds the right corners */
    margin-left: -2px; /* Overlap the predicate input slightly for a seamless look */
    display: inline-flex;
    align-items: center;
    min-width: 50px; /* Give it a consistent width */
    justify-content: center;
}
/* ------------------- */