        :root {
            --primary-color: #2563eb;
            --secondary-color: #1e40af;
            --accent-color: #3b82f6;
            --text-primary: #1f2937;
            --text-secondary: #4b5563;
            --text-light: #6b7280;
            --bg-primary: #ffffff;
            --bg-secondary: #f8fafc;
            --bg-code: #1e293b;
            --border-color: #e5e7eb;
            --border-light: #f3f4f6;
            --shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);
            --shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1);
            --shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1);
            --radius-sm: 0.375rem;
            --radius-md: 0.5rem;
            --radius-lg: 0.75rem;
        }

        * {
            margin: 0;
            padding: 0;
            box-sizing: border-box;
        }

        html {
            scroll-behavior: smooth;
            scroll-padding-top: 2rem;
        }

        body {
            font-family: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
            line-height: 1.6;
            color: var(--text-primary);
            background-color: var(--bg-primary);
            overflow-x: hidden;
        }

        /* Skip to content for accessibility */
        .skip-to-content {
            position: absolute;
            top: -40px;
            left: 6px;
            background: var(--primary-color);
            color: white;
            padding: 8px;
            text-decoration: none;
            border-radius: var(--radius-sm);
            z-index: 1000;
            transition: top 0.3s;
        }

        .skip-to-content:focus {
            top: 6px;
        }

        /* Navigation Styles */
        #navbar {
            position: fixed;
            top: 0;
            left: 0;
            width: 280px;
            height: 100vh;
            background: var(--bg-secondary);
            border-right: 1px solid var(--border-color);
            z-index: 100;
            overflow-y: auto;
            scrollbar-width: thin;
            scrollbar-color: var(--border-color) transparent;
        }

        #navbar::-webkit-scrollbar {
            width: 6px;
        }

        #navbar::-webkit-scrollbar-track {
            background: transparent;
        }

        #navbar::-webkit-scrollbar-thumb {
            background-color: var(--border-color);
            border-radius: 3px;
        }

        .nav-header {
            padding: 2rem 1.5rem 1.5rem;
            border-bottom: 1px solid var(--border-color);
            background: linear-gradient(135deg, var(--primary-color) 0%, var(--secondary-color) 100%);
            color: white;
            position: sticky;
            top: 0;
            z-index: 10;
        }

        .nav-header h1 {
            font-size: 1.25rem;
            font-weight: 600;
            margin-bottom: 0.25rem;
        }

        .nav-header p {
            font-size: 0.875rem;
            opacity: 0.9;
        }

        #navbar ul {
            list-style: none;
            padding: 1rem 0;
        }

        #navbar li {
            margin-bottom: 0.25rem;
        }

        #navbar a {
            display: block;
            padding: 0.75rem 1.5rem;
            color: var(--text-secondary);
            text-decoration: none;
            transition: all 0.2s ease;
            border-left: 3px solid transparent;
            font-weight: 400;
        }

        #navbar a:hover {
            color: var(--primary-color);
            background-color: var(--bg-primary);
            border-left-color: var(--primary-color);
        }

        #navbar a.active {
            color: var(--primary-color);
            background-color: var(--bg-primary);
            border-left-color: var(--primary-color);
            font-weight: 500;
        }

        /* Main Content */
        #main-doc {
            margin-left: 280px;
            max-width: 1200px;
            padding: 2rem;
        }

        .main-section {
            margin-bottom: 4rem;
            scroll-margin-top: 2rem;
        }

        .section-header {
            font-size: 2rem;
            font-weight: 600;
            color: var(--text-primary);
            margin-bottom: 1.5rem;
            padding-bottom: 0.75rem;
            border-bottom: 2px solid var(--border-light);
            position: relative;
        }

        .section-header::after {
            content: '';
            position: absolute;
            bottom: -2px;
            left: 0;
            width: 3rem;
            height: 2px;
            background: linear-gradient(90deg, var(--primary-color), var(--accent-color));
        }

        .section-content {
            color: var(--text-secondary);
            font-size: 1rem;
            line-height: 1.7;
        }

        .section-content p {
            margin-bottom: 1.25rem;
        }

        .section-content ul,
        .section-content ol {
            margin: 1.25rem 0;
            padding-left: 1.5rem;
        }

        .section-content li {
            margin-bottom: 0.75rem;
            line-height: 1.6;
        }

        .section-content strong {
            color: var(--text-primary);
            font-weight: 600;
        }

        /* Code Blocks */
        .code-container {
            position: relative;
            margin: 1.5rem 0;
        }

        .code-label {
            font-size: 0.875rem;
            color: var(--text-light);
            margin-bottom: 0.5rem;
            font-weight: 500;
        }

        code {
            font-family: 'JetBrains Mono', 'Fira Code', Consolas, 'Monaco', monospace;
            font-size: 0.875rem;
            line-height: 1.6;
        }

        .inline-code {
            background-color: var(--border-light);
            padding: 0.125rem 0.375rem;
            border-radius: var(--radius-sm);
            color: var(--primary-color);
            font-weight: 500;
        }

        .code-block {
            display: block;
            background-color: var(--bg-code);
            color: #e2e8f0;
            padding: 1.5rem;
            border-radius: var(--radius-md);
            overflow-x: auto;
            white-space: pre-wrap;
            word-break: break-word;
            box-shadow: var(--shadow-sm);
            position: relative;
        }

        .code-block::before {
            content: '';
            position: absolute;
            top: 0;
            left: 0;
            right: 0;
            height: 3px;
            background: linear-gradient(90deg, var(--primary-color), var(--accent-color));
        }

        /* Syntax highlighting */
        .kn {
            color: #f472b6;
        }

        /* import */
        .nn {
            color: #60a5fa;
        }

        /* module */
        .kd {
            color: #a78bfa;
        }

        /* public, class, etc */
        .nc {
            color: #34d399;
        }

        /* class names */
        .nf {
            color: #fbbf24;
        }

        /* function names */
        .kt {
            color: #fb7185;
        }

        /* types */
        .s {
            color: #86efac;
        }

        /* strings */
        .o {
            color: #e2e8f0;
        }

        /* operators */

        /* Info Boxes */
        .info-box {
            background: linear-gradient(135deg, #eff6ff 0%, #dbeafe 100%);
            border: 1px solid #bfdbfe;
            border-radius: var(--radius-md);
            padding: 1.25rem;
            margin: 1.5rem 0;
            border-left: 4px solid var(--primary-color);
        }

        .info-box h4 {
            color: var(--primary-color);
            font-weight: 600;
            margin-bottom: 0.5rem;
        }

        /* Features Grid */
        .features-grid {
            display: grid;
            grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
            gap: 1.5rem;
            margin: 2rem 0;
        }

        .feature-card {
            background: var(--bg-primary);
            border: 1px solid var(--border-color);
            border-radius: var(--radius-lg);
            padding: 1.5rem;
            box-shadow: var(--shadow-sm);
            transition: all 0.3s ease;
        }

        .feature-card:hover {
            box-shadow: var(--shadow-md);
            transform: translateY(-2px);
        }

        .feature-card h4 {
            color: var(--primary-color);
            font-weight: 600;
            margin-bottom: 0.75rem;
            font-size: 1.125rem;
        }

        /* Links */
        a {
            color: var(--primary-color);
            text-decoration: none;
            transition: color 0.2s ease;
        }

        a:hover {
            color: var(--secondary-color);
            text-decoration: underline;
        }

        a:focus {
            outline: 2px solid var(--primary-color);
            outline-offset: 2px;
            border-radius: var(--radius-sm);
        }

        /* Mobile Navigation Toggle */
        .mobile-nav-toggle {
            display: none;
            position: fixed;
            top: 1rem;
            left: 1rem;
            z-index: 1000;
            background: var(--primary-color);
            color: white;
            border: none;
            padding: 0.75rem;
            border-radius: var(--radius-md);
            font-size: 1.25rem;
            cursor: pointer;
            box-shadow: var(--shadow-md);
        }

        .mobile-nav-toggle:hover {
            background: var(--secondary-color);
        }

        /* Responsive Design */
        @media (max-width: 768px) {
            .mobile-nav-toggle {
                display: block;
            }

            #navbar {
                transform: translateX(-100%);
                transition: transform 0.3s ease;
                width: 280px;
                background: var(--bg-primary);
                box-shadow: var(--shadow-lg);
            }

            #navbar.active {
                transform: translateX(0);
            }

            #main-doc {
                margin-left: 0;
                padding: 5rem 1rem 2rem;
            }

            .section-header {
                font-size: 1.75rem;
            }

            .features-grid {
                grid-template-columns: 1fr;
                gap: 1rem;
            }

            .code-block {
                padding: 1rem;
                font-size: 0.8rem;
            }
        }

        @media (max-width: 480px) {
            #main-doc {
                padding: 5rem 0.75rem 2rem;
            }

            .section-header {
                font-size: 1.5rem;
            }

            .code-block {
                margin-left: -0.75rem;
                margin-right: -0.75rem;
                border-radius: 0;
            }
        }

        /* Print Styles */
        @media print {

            #navbar,
            .mobile-nav-toggle,
            .skip-to-content {
                display: none;
            }

            #main-doc {
                margin-left: 0;
                max-width: none;
            }

            .code-block {
                background: #f8f9fa !important;
                color: #000 !important;
                border: 1px solid #dee2e6;
            }
        }

        /* Focus states for accessibility */
        .main-section:focus {
            outline: 2px solid var(--primary-color);
            outline-offset: 4px;
            border-radius: var(--radius-sm);
        }

        /* Loading animation */
        @keyframes fadeInUp {
            from {
                opacity: 0;
                transform: translateY(20px);
            }

            to {
                opacity: 1;
                transform: translateY(0);
            }
        }

        .main-section {
            animation: fadeInUp 0.6s ease-out forwards;
        }