    /* Highlight animation for referenced sections */
    .ref-highlight {
        animation: highlightPulse 2s ease-out;
    }

    @keyframes highlightPulse {
        0% {
            background-color: rgba(255, 193, 7, 0.5);
            box-shadow: 0 0 0 4px rgba(255, 193, 7, 0.3);
        }
        100% {
            background-color: transparent;
            box-shadow: none;
        }
    }

    /* Ensure h6 headers with IDs have proper padding for scroll offset */
    h6[id] {
        scroll-margin-top: 80px;
        padding: 4px 8px;
        margin-left: -8px;
        border-radius: 4px;
    }

    /* Info link styling (for consistency) */
    .info-link {
        text-decoration: none;
        transition: color 0.2s ease;
    }
    .info-link:hover {
        color: #0d6efd !important;
    }
