.math-box, .info-card {
            background-color: rgba(44, 62, 143, 0.04);
            border-left: 4px solid var(--primary-color);
            padding: 1.2rem;
            border-radius: 0.75rem;
            margin: 1.5rem 0;
        }
        .test-vector-table {
            width: 100%;
            border-collapse: collapse;
            margin: 1rem 0;
            font-size: 0.9rem;
        }
        .test-vector-table th, .test-vector-table td {
            border: 1px solid var(--border-color);
            padding: 0.5rem;
            text-align: left;
        }
        .test-vector-table th {
            background-color: var(--light-gray);
        }
        .limitation-note {
            background-color: #fef9e6;
            padding: 1rem;
            border-radius: 0.75rem;
            margin: 1rem 0;
        }
        .example-badge {
            cursor: pointer;
            background: #eef2ff;
            padding: 0.3rem 0.8rem;
            border-radius: 2rem;
            font-size: 0.8rem;
            transition: all 0.2s;
            margin: 0.2rem;
            display: inline-block;
        }
        .example-badge:hover {
            background: var(--primary-color);
            color: white;
            transform: translateY(-2px);
        }
 
        pre {
            background: #f1f3f5;
            padding: 1rem;
            border-radius: 0.5rem;
            font-size: 0.85rem;
        }
        .verification-badge {
            background: #e7f1fa;
            padding: 1rem;
            border-radius: 0.75rem;
            margin: 1rem 0;
            font-size: 0.9rem;
        }
        textarea {
            font-family: 'SF Mono', 'Fira Code', monospace;
            font-size: 0.9rem;
        }