/* Tools Page Styles */

.tools-container {
    max-width: 900px;
    margin: 0 auto;
}

.tools-subtitle {
    color: #6a7481;
    font-size: 15px;
    margin-bottom: 30px;
}

/* Tabs Navigation */
.tabs-nav {
    display: flex;
    gap: 10px;
    border-bottom: 2px solid #ddd;
    margin-bottom: 30px;
    flex-wrap: wrap;
}

.tab-btn {
    padding: 12px 20px;
    background: none;
    border: none;
    border-bottom: 3px solid transparent;
    cursor: pointer;
    font-size: 16px;
    color: #666;
    font-weight: 500;
    transition: all 0.3s ease;
    margin-bottom: -2px;
}

.tab-btn:hover {
    color: #3c27f5;
}

.tab-btn.active {
    color: #3c27f5;
    border-bottom-color: #3c27f5;
}

/* Tab Content */
.tab-content {
    display: none;
    animation: fadeIn 0.3s ease;
}

.tab-content.active {
    display: block;
}

@keyframes fadeIn {
    from {
        opacity: 0;
    }
    to {
        opacity: 1;
    }
}

/* Tool Card */
.tool-card {
    border: 1px solid #ddd;
    padding: 30px;
    border-radius: 10px;
    background: #fff;
    box-shadow: 0 1px 3px rgba(0, 0, 0, 0.05);
}

.tool-card h3 {
    margin-bottom: 10px;
    color: #1f2d3a;
    font-size: 1.08rem;
    border-bottom: none;
    padding-bottom: 0;
}

.tool-description {
    color: #546274;
    font-size: 15px;
    margin-bottom: 25px;
    line-height: 1.6;
}

/* Forms */
.form-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    gap: 20px;
    margin-bottom: 25px;
}

.form-grid--single {
    grid-template-columns: 1fr;
}

@media (max-width: 768px) {
    .form-grid {
        grid-template-columns: 1fr;
    }
}

.form-group {
    display: flex;
    flex-direction: column;
}

.form-group label {
    display: block;
    margin-bottom: 8px;
    font-weight: 600;
    font-size: 14px;
    color: #1f2d3a;
}

.form-group input[type="text"],
.form-group input[type="number"],
.form-group input[type="file"] {
    padding: 10px 12px;
    border: 1px solid #cfd5dd;
    border-radius: 6px;
    font-family: inherit;
    font-size: 15px;
    transition: border-color 0.2s, box-shadow 0.2s;
}

.form-group input[type="text"]:focus,
.form-group input[type="number"]:focus,
.form-group input[type="file"]:focus {
    outline: none;
    border-color: #3c27f5;
    box-shadow: 0 0 0 3px rgba(60, 39, 245, 0.12);
}

.form-group input[type="file"] {
    padding: 8px 12px;
    cursor: pointer;
}

.file-hint {
    font-size: 13px;
    color: #999;
    margin-top: 5px;
    margin-bottom: 0;
}

/* Submit Button */
.btn-submit {
    display: inline-block;
    padding: 12px 32px;
    background-color: #3c27f5;
    color: white;
    border: none;
    border-radius: 6px;
    font-size: 16px;
    font-weight: 600;
    cursor: pointer;
    transition: background-color 0.2s, box-shadow 0.2s;
}

.btn-submit:hover {
    background-color: #2c1db5;
    box-shadow: 0 4px 12px rgba(60, 39, 245, 0.3);
}

.btn-submit:active {
    transform: translateY(1px);
}

.btn-submit:disabled {
    background-color: #ccc;
    cursor: not-allowed;
    box-shadow: none;
}

/* Status Messages */
.status-message {
    margin-top: 20px;
    padding: 15px 16px;
    border-radius: 6px;
    font-size: 14px;
    border-left: 4px solid;
}

.status-message.info {
    background-color: #e3f2fd;
    border-left-color: #2196f3;
    color: #1565c0;
}

.status-message.success {
    background-color: #e8f5e9;
    border-left-color: #4caf50;
    color: #2e7d32;
}

.status-message.error {
    background-color: #ffebee;
    border-left-color: #f44336;
    color: #c62828;
}

.status-message.warning {
    background-color: #fff3e0;
    border-left-color: #ff9800;
    color: #e65100;
}

/* Verification Results */
.verification-results {
    margin-top: 30px;
    border: 1px solid #ddd;
    border-radius: 10px;
    padding: 20px;
    background-color: #fafafa;
}

.results-header {
    display: flex;
    align-items: center;
    margin-bottom: 20px;
    gap: 12px;
}

.results-header h4 {
    margin: 0;
    font-size: 18px;
    color: #1f2d3a;
}

.result-status-badge {
    display: inline-block;
    padding: 6px 12px;
    border-radius: 20px;
    font-size: 13px;
    font-weight: 600;
}

.result-status-badge.feasible {
    background-color: #d4edda;
    color: #155724;
}

.result-status-badge.infeasible {
    background-color: #f8d7da;
    color: #721c24;
}

/* Errors Section */
.results-section {
    margin-bottom: 20px;
}

.results-section h5 {
    margin: 0 0 12px 0;
    font-size: 15px;
    color: #333;
    font-weight: 600;
}

.errors-list {
    list-style: none;
    padding: 0;
    margin: 0;
}

.errors-list li {
    padding: 10px 12px;
    margin-bottom: 8px;
    background-color: #fff;
    border-left: 3px solid #f44336;
    border-radius: 3px;
    font-size: 14px;
    color: #333;
}

/* Metrics Section */
.metrics-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 14px;
}

.metrics-table thead {
    background-color: #f5f5f5;
}

.metrics-table th,
.metrics-table td {
    padding: 10px 12px;
    text-align: left;
    border-bottom: 1px solid #ddd;
}

.metrics-table th {
    font-weight: 600;
    color: #333;
}

.metrics-table td {
    color: #555;
}

.metrics-table tbody tr:last-child td {
    border-bottom: none;
}

/* Loading Spinner */
.spinner {
    display: inline-block;
    width: 14px;
    height: 14px;
    border: 2px solid #f3f3f3;
    border-top: 2px solid #3c27f5;
    border-radius: 50%;
    animation: spin 1s linear infinite;
}

@keyframes spin {
    0% {
        transform: rotate(0deg);
    }
    100% {
        transform: rotate(360deg);
    }
}

/* Download Link */
.download-link {
    display: inline-block;
    margin-top: 20px;
    padding: 10px 16px;
    background-color: #e8eaf6;
    color: #3c27f5;
    text-decoration: none;
    border-radius: 6px;
    font-size: 14px;
    font-weight: 600;
    transition: background-color 0.2s;
}

.download-link:hover {
    background-color: #d1d5e8;
}

/* Responsive */
@media (max-width: 768px) {
    .tool-card {
        padding: 20px;
    }

    .tabs-nav {
        gap: 5px;
    }

    .tab-btn {
        padding: 10px 16px;
        font-size: 14px;
    }

    .results-header {
        flex-direction: column;
        align-items: flex-start;
    }

    .metrics-table {
        font-size: 13px;
    }

    .metrics-table th,
    .metrics-table td {
        padding: 8px 10px;
    }
}