.truth-table {
            font-size: 0.9rem;
            overflow-x: auto;
        }
        .truth-table table {
            width: 100%;
            border-collapse: collapse;
            margin: 1rem 0;
        }
        .truth-table th, .truth-table td {
            border: 1px solid var(--border-color);
            padding: 0.5rem;
            text-align: center;
            vertical-align: middle;
        }
        .truth-table th {
            background-color: var(--light-gray);
            font-weight: 600;
        }
        .output-select {
            min-width: 70px;
            padding: 0.25rem;
            text-align: center;
            font-family: monospace;
        }
        .var-badge {
            background-color: rgba(70, 130, 180, 0.15);
            padding: 0.2rem 0.6rem;
            border-radius: 20px;
            font-weight: 600;
        }
        .expression-card {
            background-color: #f8f9ff;
            border-left: 4px solid var(--primary-color);
            padding: 1rem;
            margin: 1rem 0;
            font-family: 'Courier New', monospace;
            font-size: 1.1rem;
            word-break: break-word;
        }
        .kmap-canvas {
            background: #fff;
            border: 1px solid #ccc;
            border-radius: 8px;
            margin-top: 1rem;
            width: 100%;
            height: auto;
            display: block;
            margin-left: auto;
            margin-right: auto;
        }
        .example-group {
            display: flex;
            flex-wrap: wrap;
            gap: 0.6rem;
            margin: 1rem 0;
        }
        .section-subtitle {
            font-weight: 600;
            margin-top: 1.8rem;
            margin-bottom: 1rem;
            color: #2c3e50;
            border-bottom: 2px solid var(--primary-color);
            display: inline-block;
            padding-bottom: 0.25rem;
        }
        .legend-kmap {
            display: flex;
            justify-content: center;
            gap: 1.5rem;
            margin-top: 0.5rem;
            font-size: 0.8rem;
        }
        .legend-color-box {
            width: 18px;
            height: 18px;
            display: inline-block;
            border-radius: 3px;
            margin-right: 5px;
        }
        .bg-minterm { background-color: #2ecc71; }
        .bg-dontcare { background-color: #f39c12; }
        .bg-zeroterm { background-color: #ecf0f1; }