@import "https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600&family=Inter:wght@400;500;600;700&display=swap";:root{--primary:#4f46e5;--bg-main:#f8fafc;--bg-card:#fff;--text-main:#0f172a;--text-muted:#475569;--border:#e2e8f0;--code-bg:#f1f5f9;--code-text:#1e293b;--code-keyword:#2563eb;--code-string:#059669;--code-comment:#64748b;--code-func:#7c3aed}[data-theme=dark]{--primary:#06b6d4;--bg-main:#0b1120;--bg-card:#1e293b;--text-main:#f8fafc;--text-muted:#94a3b8;--border:#334155;--code-bg:#0f172a;--code-text:#e2e8f0;--code-keyword:#38bdf8;--code-string:#34d399;--code-comment:#64748b;--code-func:#c084fc}html,body{width:100%;position:relative;overflow-x:hidden}*{box-sizing:border-box;margin:0;padding:0;font-family:Inter,sans-serif;transition:background-color .3s,border-color .3s}body{background-color:var(--bg-main);color:var(--text-main);line-height:1.6}h1,h2,h3,h4{color:var(--text-main);font-weight:700;line-height:1.2}a{color:inherit;text-decoration:none}.container{max-width:1300px;margin:0 auto;padding:0 1rem}@media (width>=768px){.container{padding:0 2rem}}.page-wrapper{min-height:calc(100vh - 70px);padding-top:70px;display:flex}.sidebar{border-right:1px solid var(--border);background-color:var(--bg-main);z-index:90;width:280px;height:calc(100vh - 70px);padding:2rem;transition:transform .3s;position:fixed;overflow-y:auto}.main-content{flex:1;width:100%;padding:1.5rem 1rem}@media (width>=768px){.sidebar{transform:translate(0)!important}.main-content{margin-left:280px;padding:3rem 4rem}}@media (width<=767px){.sidebar{width:100%;max-width:280px;height:calc(100vh - 70px);top:70px;transform:translate(-100%)}.sidebar.open{transform:translate(0)}}.btn{cursor:pointer;border:none;border-radius:8px;justify-content:center;align-items:center;padding:.75rem 1.5rem;font-size:.95rem;font-weight:600;transition:all .2s;display:inline-flex}.btn-primary{background:var(--primary);color:#fff}.btn-primary:hover{opacity:.9;transform:translateY(-1px)}.logic-card{background:var(--bg-card);border:1px solid var(--border);border-radius:16px;flex-direction:column;margin-bottom:3rem;display:flex;overflow:hidden;box-shadow:0 4px 6px -1px #0000000d}.logic-theory{border-bottom:1px solid var(--border);padding:1.5rem}@media (width>=768px){.logic-theory{padding:2.5rem}}.logic-theory ul{list-style:none}.logic-theory li{color:var(--text-muted);margin-bottom:1rem;padding-left:1.5rem;font-size:1rem;line-height:1.7;position:relative}@media (width>=768px){.logic-theory li{font-size:1.05rem}}.logic-theory li:before{content:"→";color:var(--primary);font-weight:700;position:absolute;top:0;left:0}.logic-code{background:var(--code-bg);flex-direction:column;padding:1.5rem;display:flex}@media (width>=768px){.logic-code{padding:2.5rem}}.logic-code pre{color:var(--code-text);margin:0;font-family:Fira Code,monospace;font-size:.85rem;line-height:1.6;overflow-x:auto}@media (width>=768px){.logic-code pre{font-size:.95rem}}@media (width<=768px){h1{font-size:2rem!important}h2{font-size:1.6rem!important}h3{font-size:1.3rem!important}}.token.keyword{color:var(--code-keyword)}.token.string{color:var(--code-string)}.token.comment{color:var(--code-comment);font-style:italic}.token.function{color:var(--code-func)}@media (width<=1024px){.logic-card{grid-template-columns:1fr}}@media (width<=768px){.nav-mobile-btn{display:block!important}.desktop-only{display:none!important}}.nav-mobile-btn{color:var(--text-main);cursor:pointer;background:0 0;border:none;font-size:1.5rem;display:none}