.badge-equivalent {
            background-color: #28a745;
            color: white;
            padding: 0.3rem 1rem;
            border-radius: 20px;
            font-size: 1.1rem;
        }
        .badge-not-equivalent {
            background-color: #dc3545;
            color: white;
            padding: 0.3rem 1rem;
            border-radius: 20px;
            font-size: 1.1rem;
        }
        .step-card {
            background: #f8f9fc;
            border-radius: 8px;
            padding: 1rem;
            margin-top: 1rem;
            border: 1px solid #e0e6ed;
        }
        .expression-box {
            font-family: 'Courier New', monospace;
            background: #eef2f7;
            padding: 0.5rem;
            border-radius: 6px;
        }
        .coord-input {
            margin-bottom: 0.5rem;
        }
        .numerical-check {
            background-color: #e9ecef;
            border-radius: 8px;
            padding: 0.75rem;
            margin: 0.5rem 0;
            font-size: 0.9rem;
        }
        .domain-warning {
            background-color: #fff3cd;
            border-left: 4px solid #ffc107;
            padding: 0.5rem;
            margin-top: 0.5rem;
            font-size: 0.85rem;
        }