@import"https://fonts.googleapis.com/css?family=Open+Sans:400,700&display=swap";:root{--color-bg: #ffffff;--color-bg-secondary: #f9fafb;--color-bg-tertiary: #f3f4f6;--color-text-primary: #1f2937;--color-text-secondary: #4b5563;--color-text-muted: #6b7280;--color-text-body: #606c71;--color-border: #e5e7eb;--color-border-light: #f3f4f6;--color-link: #1e6bb8;--color-accent: #159957;--color-accent-light: #10b981;--color-code-bg: #f3f6fa;--color-code-text: #567482;--color-code-block-bg: #1f2937;--color-card-shadow: rgba(0, 0, 0, .05);--color-card-hover-shadow: rgba(21, 153, 87, .15);--color-quickstart-bg: linear-gradient(135deg, #f0fdf4, #ecfdf5);--color-quickstart-border: #bbf7d0;--color-quickstart-text: #166534;--color-feature-bg: linear-gradient(135deg, #f9fafb, #f3f4f6)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--color-bg: #0d1117;--color-bg-secondary: #161b22;--color-bg-tertiary: #21262d;--color-text-primary: #f0f6fc;--color-text-secondary: #c9d1d9;--color-text-muted: #8b949e;--color-text-body: #c9d1d9;--color-border: #30363d;--color-border-light: #21262d;--color-link: #58a6ff;--color-accent: #3fb950;--color-accent-light: #56d364;--color-code-bg: #21262d;--color-code-text: #c9d1d9;--color-code-block-bg: #161b22;--color-card-shadow: rgba(0, 0, 0, .3);--color-card-hover-shadow: rgba(63, 185, 80, .2);--color-quickstart-bg: linear-gradient(135deg, #0d1f14, #0d1f17);--color-quickstart-border: #238636;--color-quickstart-text: #3fb950;--color-feature-bg: linear-gradient(135deg, #161b22, #21262d)}}:root[data-theme=dark]{--color-bg: #0d1117;--color-bg-secondary: #161b22;--color-bg-tertiary: #21262d;--color-text-primary: #f0f6fc;--color-text-secondary: #c9d1d9;--color-text-muted: #8b949e;--color-text-body: #c9d1d9;--color-border: #30363d;--color-border-light: #21262d;--color-link: #58a6ff;--color-accent: #3fb950;--color-accent-light: #56d364;--color-code-bg: #21262d;--color-code-text: #c9d1d9;--color-code-block-bg: #161b22;--color-card-shadow: rgba(0, 0, 0, .3);--color-card-hover-shadow: rgba(63, 185, 80, .2);--color-quickstart-bg: linear-gradient(135deg, #0d1f14, #0d1f17);--color-quickstart-border: #238636;--color-quickstart-text: #3fb950;--color-feature-bg: linear-gradient(135deg, #161b22, #21262d)}*{box-sizing:border-box}body{margin:0;padding:0;font-family:Open Sans,Helvetica Neue,Helvetica,Arial,sans-serif;font-size:16px;line-height:1.5;color:var(--color-text-body);background-color:var(--color-bg)}#root{min-height:100vh}.theme-toggle{position:absolute;top:1rem;right:1rem;display:flex;align-items:center;justify-content:center;width:40px;height:40px;padding:0;border:none;border-radius:8px;background:#ffffff26;color:#fff;cursor:pointer;transition:background-color .2s ease,transform .2s ease}.theme-toggle:hover{background:#ffffff40;transform:scale(1.05)}.theme-toggle:active{transform:scale(.95)}.theme-toggle svg{display:block}@media screen and (max-width:42em){.theme-toggle{top:.75rem;right:.75rem;width:36px;height:36px}.theme-toggle svg{width:18px;height:18px}}#skip-to-content{height:1px;width:1px;position:absolute;overflow:hidden;top:-10px}#skip-to-content:focus{position:fixed;top:10px;left:10px;height:auto;width:auto;background:#e19447;outline:thick solid #e19447}a{color:var(--color-link);text-decoration:none}a:hover{text-decoration:underline}.btn{display:inline-block;margin-bottom:1rem;color:#ffffffb3;background-color:#ffffff14;border-color:#fff3;border-style:solid;border-width:1px;border-radius:.3rem;transition:color .2s,background-color .2s,border-color .2s}.btn:hover{color:#fffc;text-decoration:none;background-color:#fff3;border-color:#ffffff4d}.btn+.btn{margin-left:1rem}@media screen and (min-width:64em){.btn{padding:.75rem 1rem}}@media screen and (min-width:42em)and (max-width:64em){.btn{padding:.6rem .9rem;font-size:.9rem}}@media screen and (max-width:42em){.btn{display:block;width:100%;padding:.75rem;font-size:.9rem}.btn+.btn{margin-top:1rem;margin-left:0}}.page-header{position:relative;color:#fff;text-align:center;background-color:#159957;background-image:linear-gradient(120deg,#155799,#159957)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .page-header{background-color:#0d4429;background-image:linear-gradient(120deg,#0d2137,#0d4429)}}:root[data-theme=dark] .page-header{background-color:#0d4429;background-image:linear-gradient(120deg,#0d2137,#0d4429)}@media screen and (min-width:64em){.page-header{padding:5rem 6rem}}@media screen and (min-width:42em)and (max-width:64em){.page-header{padding:3rem 4rem}}@media screen and (max-width:42em){.page-header{padding:2rem 1rem}}.project-name{margin-top:0;margin-bottom:.1rem}@media screen and (min-width:64em){.project-name{font-size:3.25rem}}@media screen and (min-width:42em)and (max-width:64em){.project-name{font-size:2.25rem}}@media screen and (max-width:42em){.project-name{font-size:1.75rem}}.project-tagline{margin-bottom:2rem;font-weight:400;opacity:.7}@media screen and (min-width:64em){.project-tagline{font-size:1.25rem}}@media screen and (min-width:42em)and (max-width:64em){.project-tagline{font-size:1.15rem}}@media screen and (max-width:42em){.project-tagline{font-size:1rem}}.main-content{word-wrap:break-word}.main-content :first-child{margin-top:0}@media screen and (min-width:64em){.main-content{max-width:64rem;padding:2rem 6rem;margin:0 auto;font-size:1.1rem}}@media screen and (min-width:42em)and (max-width:64em){.main-content{padding:2rem 4rem;font-size:1.1rem}}@media screen and (max-width:42em){.main-content{padding:2rem 1rem;font-size:1rem}}.main-content img{max-width:100%}.main-content h1,.main-content h2,.main-content h3,.main-content h4,.main-content h5,.main-content h6{margin-top:2rem;margin-bottom:1rem;font-weight:400;color:var(--color-accent)}.main-content p{margin-bottom:1em}.main-content code{padding:2px 4px;font-family:Consolas,Liberation Mono,Menlo,Courier,monospace;font-size:.9rem;color:var(--color-code-text);background-color:var(--color-code-bg);border-radius:.3rem}.main-content pre{padding:.8rem;margin-top:0;margin-bottom:1rem;font:1rem Consolas,Liberation Mono,Menlo,Courier,monospace;color:var(--color-code-text);word-wrap:normal;background-color:var(--color-code-bg);border:solid 1px var(--color-border);border-radius:.3rem}.main-content pre>code{padding:0;margin:0;font-size:.9rem;color:var(--color-code-text);word-break:normal;white-space:pre;background:transparent;border:0}.main-content .highlight{margin-bottom:1rem}.main-content .highlight pre{margin-bottom:0;word-break:normal}.main-content .highlight pre,.main-content pre{padding:.8rem;overflow:auto;font-size:.9rem;line-height:1.45;border-radius:.3rem;-webkit-overflow-scrolling:touch}.main-content pre code,.main-content pre tt{display:inline;max-width:initial;padding:0;margin:0;overflow:initial;line-height:inherit;word-wrap:normal;background-color:transparent;border:0}.main-content pre code:before,.main-content pre code:after,.main-content pre tt:before,.main-content pre tt:after{content:normal}.main-content ul,.main-content ol{margin-top:0}.main-content blockquote{padding:0 1rem;margin-left:0;color:var(--color-text-muted);border-left:.3rem solid var(--color-border)}.main-content blockquote>:first-child{margin-top:0}.main-content blockquote>:last-child{margin-bottom:0}.main-content table{display:block;width:100%;overflow:auto;word-break:normal;word-break:keep-all;-webkit-overflow-scrolling:touch}.main-content table th{font-weight:700}.main-content table th,.main-content table td{padding:.5rem 1rem;border:1px solid var(--color-border)}.main-content dl{padding:0}.main-content dl dt{padding:0;margin-top:1rem;font-size:1rem;font-weight:700}.main-content dl dd{padding:0;margin-bottom:1rem}.main-content hr{height:2px;padding:0;margin:1rem 0;background-color:var(--color-border);border:0}.site-footer{padding-top:2rem;margin-top:2rem;border-top:solid 1px var(--color-border)}@media screen and (min-width:64em){.site-footer{font-size:1rem}}@media screen and (min-width:42em)and (max-width:64em){.site-footer{font-size:1rem}}@media screen and (max-width:42em){.site-footer{font-size:.9rem}}.site-footer-owner{display:block;font-weight:700}.site-footer-credits{color:var(--color-text-muted)}.theorem-list{display:grid;grid-template-columns:repeat(auto-fill,minmax(320px,1fr));gap:1.5rem;margin-top:1.5rem}.theorem-card{display:block;padding:1.25rem;background:var(--color-bg);border:1px solid var(--color-border);border-radius:8px;text-decoration:none;color:inherit;transition:all .2s ease;box-shadow:0 1px 3px var(--color-card-shadow)}.theorem-card:hover{border-color:var(--color-accent);box-shadow:0 4px 12px var(--color-card-hover-shadow);transform:translateY(-2px);text-decoration:none}.theorem-header{display:flex;justify-content:space-between;align-items:flex-start;gap:.75rem;margin-bottom:.75rem}.theorem-name{margin:0;font-size:1.1rem;font-weight:600;color:var(--color-text-primary);line-height:1.3}.theorem-category{flex-shrink:0;padding:.25rem .5rem;font-size:.7rem;font-weight:600;color:#fff;border-radius:4px;text-transform:uppercase;letter-spacing:.025em}.theorem-description{margin:0 0 1rem;font-size:.9rem;color:var(--color-text-secondary);line-height:1.5}.theorem-meta{display:flex;flex-direction:column;align-items:flex-start;gap:.5rem;padding-top:.75rem;border-top:1px solid var(--color-border-light)}.theorem-id{font-family:Fira Code,SF Mono,Monaco,Andale Mono,monospace;font-size:.75rem;padding:.2rem .4rem;background:var(--color-bg-tertiary);border-radius:4px;color:var(--color-text-muted);word-break:break-all}.theorem-link{align-self:flex-end;font-size:.85rem;color:var(--color-accent);font-weight:500}.theorem-card:hover .theorem-link{text-decoration:underline}@media screen and (max-width:42em){.theorem-list{grid-template-columns:1fr}.theorem-header{flex-direction:column;align-items:flex-start}.theorem-category{margin-top:.5rem}}.hero-section{text-align:center;padding:2rem 0 3rem;border-bottom:1px solid var(--color-border);margin-bottom:3rem}.hero-section h2{font-size:2rem;color:var(--color-text-primary);margin-bottom:1rem}.hero-description{font-size:1.1rem;color:var(--color-text-secondary);max-width:700px;margin:0 auto 1.5rem;line-height:1.7}.hero-badges{display:flex;justify-content:center;gap:.75rem;flex-wrap:wrap}.badge{display:inline-block;padding:.4rem .8rem;font-size:.85rem;font-weight:600;border-radius:20px;text-transform:uppercase;letter-spacing:.025em}.badge-verified{background:linear-gradient(135deg,#059669,#10b981);color:#fff}.badge-lean{background:linear-gradient(135deg,#7c3aed,#8b5cf6);color:#fff}.badge-mathlib{background:linear-gradient(135deg,#2563eb,#3b82f6);color:#fff}.features-section{margin-bottom:3rem}.features-section h2{text-align:center;font-size:1.75rem;color:var(--color-text-primary);margin-bottom:2rem}.features-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:1.5rem}.feature-card{padding:1.5rem;background:var(--color-feature-bg);border-radius:12px;text-align:center}.feature-icon{font-size:2.5rem;margin-bottom:1rem}.feature-card h3{font-size:1.1rem;color:var(--color-text-primary);margin:0 0 .75rem}.feature-card p{font-size:.95rem;color:var(--color-text-muted);margin:0;line-height:1.6}.theorems-section{margin-bottom:3rem}.theorems-section h2{font-size:1.75rem;color:var(--color-text-primary);margin-bottom:.5rem}.section-description{color:var(--color-text-muted);margin-bottom:1rem}.quickstart-section{margin-bottom:2rem;padding:2rem;background:var(--color-quickstart-bg);border-radius:12px;border:1px solid var(--color-quickstart-border)}.quickstart-section h2{font-size:1.5rem;color:var(--color-quickstart-text);margin:0 0 .5rem}.quickstart-section>p{color:var(--color-quickstart-text);margin-bottom:1rem}.code-block{background:var(--color-code-block-bg);border-radius:8px;padding:1.25rem;overflow-x:auto}.code-block code{font-family:Fira Code,SF Mono,Monaco,Andale Mono,monospace;font-size:.9rem;color:#e5e7eb;background:transparent;line-height:1.6}.code-comment{color:#6b7280}.code-key{color:#fbbf24}.code-attr{color:#60a5fa}.code-string{color:#34d399}@media screen and (max-width:64em){.features-grid{grid-template-columns:repeat(2,1fr)}}@media screen and (max-width:42em){.hero-section h2{font-size:1.5rem}.hero-description{font-size:1rem}.features-grid{grid-template-columns:1fr}.features-section h2,.theorems-section h2{font-size:1.5rem}.quickstart-section{padding:1.5rem}.code-block{padding:1rem}.code-block code{font-size:.8rem}}.container{margin:10px auto;max-width:600px;text-align:center}.container h1{margin:30px 0;font-size:4em;line-height:1;letter-spacing:-1px;color:var(--color-text-primary)}.container p{color:var(--color-text-secondary)}