@import"https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,300;0,8..60,400;0,8..60,600;0,8..60,700;1,8..60,400&family=Inter:wght@400;500;600&family=JetBrains+Mono:ital,wght@0,400;0,500;1,400&display=swap";.cm-s-ocamlcase{background:#1d1f21;color:#e1e4e8}.cm-s-ocamlcase .CodeMirror-selected{background:#4a4f5a}.cm-s-ocamlcase .CodeMirror-cursor{border-left:2px solid #c9ccd1}.cm-s-ocamlcase .cm-keyword{color:#f0883e;font-weight:500}.cm-s-ocamlcase .cm-builtin,.cm-s-ocamlcase .cm-def{color:#79b8ff}.cm-s-ocamlcase .cm-string,.cm-s-ocamlcase .cm-string-2{color:#85e89d}.cm-s-ocamlcase .cm-comment{color:#6a737d;font-style:italic}.cm-s-ocamlcase .cm-number{color:#79c0ff}.cm-s-ocamlcase .cm-operator{color:#f0883e}.cm-s-ocamlcase .cm-variable{color:#e1e4e8}.cm-s-ocamlcase .cm-variable-2,.cm-s-ocamlcase .cm-type,.cm-s-ocamlcase .cm-atom{color:#b392f0}.cm-s-ocamlcase .CodeMirror-gutters{background:#191c1f;border-right:1px solid rgba(255,255,255,.07)}.cm-s-ocamlcase .CodeMirror-linenumber{color:#6a737d}.cm-s-ocamlcase .CodeMirror-activeline-background{background:#ffffff0a}.cm-s-ocamlcase-light{background:#f7f5f2;color:#1a1917}.cm-s-ocamlcase-light .CodeMirror-selected{background:#d5e3f7}.cm-s-ocamlcase-light .CodeMirror-cursor{border-left:2px solid #1a1917}.cm-s-ocamlcase-light .cm-keyword{color:#b84800;font-weight:500}.cm-s-ocamlcase-light .cm-builtin,.cm-s-ocamlcase-light .cm-def{color:#165db8}.cm-s-ocamlcase-light .cm-string,.cm-s-ocamlcase-light .cm-string-2{color:#1a7340}.cm-s-ocamlcase-light .cm-comment{color:#8a8a8a;font-style:italic}.cm-s-ocamlcase-light .cm-number{color:#165db8}.cm-s-ocamlcase-light .cm-operator{color:#b84800}.cm-s-ocamlcase-light .cm-variable{color:#1a1917}.cm-s-ocamlcase-light .cm-variable-2,.cm-s-ocamlcase-light .cm-type,.cm-s-ocamlcase-light .cm-atom{color:#6b3db8}.cm-s-ocamlcase-light .CodeMirror-gutters{background:#ece9e4;border-right:1px solid #ddd9d3}.cm-s-ocamlcase-light .CodeMirror-linenumber{color:#9c968d}.cm-s-ocamlcase-light .CodeMirror-activeline-background{background:#00000008}.pg-icon-btn{display:flex;align-items:center;justify-content:center;width:32px;height:28px;background:none;border:1px solid var(--border);border-radius:4px;color:var(--muted);cursor:pointer;transition:color .1s,border-color .1s,background .1s;flex-shrink:0}.pg-icon-btn:hover{color:var(--text);border-color:var(--border-dk);background:#0000000a}[data-pg-theme=dark] .pg-icon-btn{color:#6a737d;border-color:#3a3d40}[data-pg-theme=dark] .pg-icon-btn:hover{color:#e1e4e8;border-color:#555;background:#ffffff0d}.pg-icon-btn.pg-share-copied{color:#1a7f37;border-color:#1a7f37;background:#1a7f371a}[data-pg-theme=dark] .pg-icon-btn.pg-share-copied{color:#3fb950;border-color:#3fb950;background:#3fb95026}.pg-settings-overlay{display:none;position:fixed;top:0;right:0;bottom:0;left:0;background:#0006;z-index:900;align-items:center;justify-content:center}.pg-settings-overlay.open{display:flex}.pg-settings-panel{background:#fff;border:1px solid var(--border);border-radius:8px;box-shadow:0 16px 48px #0000002e;width:320px;overflow:hidden}[data-pg-theme=dark] .pg-settings-panel{background:#1d1f21;border-color:#333}.pg-settings-header{display:flex;align-items:center;justify-content:space-between;padding:10px 14px;border-bottom:1px solid var(--border);font-family:var(--sans);font-size:12px;font-weight:600;color:var(--text)}[data-pg-theme=dark] .pg-settings-header{border-color:#333;color:#e1e4e8}.pg-settings-close{background:none;border:none;font-size:18px;line-height:1;color:var(--dim);cursor:pointer;padding:0 2px}.pg-settings-close:hover{color:var(--text)}[data-pg-theme=dark] .pg-settings-close{color:#6a737d}[data-pg-theme=dark] .pg-settings-close:hover{color:#e1e4e8}.pg-settings-body{padding:8px 0 12px}.pg-setting-row{display:flex;align-items:center;justify-content:space-between;padding:7px 14px}.pg-setting-label{font-family:var(--sans);font-size:13px;color:var(--text)}[data-pg-theme=dark] .pg-setting-label{color:#c9d1d9}.pg-toggle{font-family:var(--sans);font-size:11px;font-weight:600;padding:3px 10px;border-radius:20px;border:1px solid var(--border);background:var(--bg-warm);color:var(--dim);cursor:pointer;transition:background .1s,color .1s;min-width:40px}.pg-toggle.pg-toggle-on{background:var(--accent);color:#fff;border-color:var(--accent)}[data-pg-theme=dark] .pg-toggle{background:#2d2f31;border-color:#444;color:#6a737d}[data-pg-theme=dark] .pg-toggle.pg-toggle-on{background:#d05a1e;border-color:#d05a1e;color:#fff}.pg-settings-divider{height:1px;background:var(--border);margin:8px 14px}[data-pg-theme=dark] .pg-settings-divider{background:#333}.pg-settings-section-title{font-family:var(--sans);font-size:10px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:var(--dim);padding:4px 14px 6px}[data-pg-theme=dark] .pg-settings-section-title{color:#6a737d}.pg-shortcut-row{display:flex;align-items:center;justify-content:space-between;padding:4px 14px;font-family:var(--sans);font-size:12px;color:var(--muted)}[data-pg-theme=dark] .pg-shortcut-row{color:#8b949e}.pg-shortcut-row kbd{font-family:var(--mono);font-size:10.5px;background:var(--bg-warm);border:1px solid var(--border);border-radius:3px;padding:1px 6px;color:var(--text)}[data-pg-theme=dark] .pg-shortcut-row kbd{background:#2d2f31;border-color:#555;color:#c9d1d9}.pg-zoom-btns{display:flex;align-items:center;gap:6px}.pg-zoom-btn{width:26px;height:26px;border-radius:50%;border:none;background:#3a3d40;color:#fff;font-size:16px;line-height:1;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:background .1s;flex-shrink:0}.pg-zoom-btn:hover,[data-pg-theme=dark] .pg-zoom-btn{background:#555}[data-pg-theme=dark] .pg-zoom-btn:hover{background:#888}.pg-zoom-val{font-family:var(--mono);font-size:11px;color:var(--dim);min-width:28px;text-align:center}[data-pg-theme=dark] .pg-zoom-val{color:#6a737d}.pg-reset-btn{display:flex;align-items:center;justify-content:center;gap:8px;width:calc(100% - 28px);margin:10px 14px 0;padding:8px;border:1px solid var(--border);border-radius:4px;background:var(--bg-warm);color:var(--text);font-family:var(--sans);font-size:11px;font-weight:700;letter-spacing:.07em;text-transform:uppercase;cursor:pointer;transition:background .1s}.pg-reset-btn:hover{background:#f0ece6}[data-pg-theme=dark] .pg-reset-btn{background:#2d2f31;border-color:#444;color:#c9d1d9}[data-pg-theme=dark] .pg-reset-btn:hover{background:#3a3d40}.pg-editor-panel .CodeMirror{flex:1;width:100%;height:100%;font-family:var(--mono);font-size:13px;line-height:1.8}[data-pg-theme=dark] .topbar{background:#161819;border-color:#2d2f31}[data-pg-theme=dark] .site-name{color:#e1e4e8}[data-pg-theme=dark] .topbar-nav a{color:#6a737d;border-color:#2d2f31}[data-pg-theme=dark] .topbar-nav a:hover{background:#1d1f21;color:#e1e4e8}[data-pg-theme=dark] .topbar-nav a.active{background:#1d1f21;color:#f0883e}[data-pg-theme=dark] .pg-bar{background:#161819;border-color:#2d2f31}[data-pg-theme=dark] .pg-left-panel{border-color:#2d2f31}[data-pg-theme=dark] .pg-right-panel,[data-pg-theme=dark] .pg-tasks-panel{background:#1d1f21}[data-pg-theme=dark] .pg-tasks-header{color:#6a737d;border-color:#2d2f31}[data-pg-theme=dark] .pg-task{border-color:#2d2f31}[data-pg-theme=dark] .pg-task-name{color:#e1e4e8}[data-pg-theme=dark] .pg-task.pass .pg-task-name{color:#6a737d}[data-pg-theme=dark] .pg-log-panel{background:#141516;border-color:#222}[data-pg-theme=dark] .pg-log-header{color:#6a737d;border-color:#222}[data-pg-theme=dark] .pg-log{color:#e1e4e8}[data-pg-theme=dark] .pg-tab-bar{background:#0d0f10;border-color:#222}[data-pg-theme=dark] .pg-tab{color:#6a737d}[data-pg-theme=dark] .pg-tab:hover{color:#e1e4e8}[data-pg-theme=dark] .pg-tab.active{color:#e1e4e8;border-bottom-color:#f0883e}[data-pg-theme=dark] .pg-tab-close{color:#555}[data-pg-theme=dark] .pg-tab-close:hover{color:#f85149}[data-pg-theme=dark] .pg-tab-add{color:#6a737d}[data-pg-theme=dark] .pg-tab-add:hover{color:#e1e4e8;background:#ffffff0d}[data-pg-theme=dark] .pg-info-panel{background:#141516;border-color:#222}[data-pg-theme=dark] .pg-info-header{background:#0d0f10;border-color:#222;color:#6a737d}[data-pg-theme=dark] .pg-info-content{background:#141516;color:#e1e4e8}.pg-theme-btn{font-family:var(--sans);font-size:11px;font-weight:500;color:var(--muted);background:none;border:1px solid var(--border);border-radius:3px;padding:3px 10px;cursor:pointer;transition:color .1s,border-color .1s;white-space:nowrap}.pg-theme-btn:hover{color:var(--text);border-color:var(--border-dk)}[data-pg-theme=dark] .pg-theme-btn{color:#6a737d;border-color:#444;background:none}[data-pg-theme=dark] .pg-theme-btn:hover{color:#e1e4e8;border-color:#666}.pg-ex-badge{font-family:var(--sans);font-size:12px;font-weight:600;color:var(--accent);background:var(--accent-bg);border:1px solid #f0c9a8;border-radius:3px;padding:3px 10px}[data-pg-theme=dark] .pg-ex-badge{background:#2a1a0f;border-color:#5a3010;color:#f0883e}.pgo-kw{color:#b84800}.pgo-name{color:#165db8}.pgo-ty{color:#6b3db8}.pgo-sep{color:#6a737d}.pgo-val{color:#444}.pgo-decl{opacity:.85}[data-pg-theme=dark] .pgo-kw{color:#f0883e}[data-pg-theme=dark] .pgo-name{color:#79b8ff}[data-pg-theme=dark] .pgo-ty{color:#b392f0}[data-pg-theme=dark] .pgo-sep{color:#6a737d}[data-pg-theme=dark] .pgo-val{color:#9ecbff}.CodeMirror-hints{font-family:var(--mono);font-size:10.5px;background:#f7f5f2;border:1px solid #ddd9d3;border-radius:3px;box-shadow:0 2px 8px #00000014;z-index:100;padding:0;scrollbar-width:thin;scrollbar-color:rgba(0,0,0,.2) transparent}.CodeMirror-hints::-webkit-scrollbar{width:8px}.CodeMirror-hints::-webkit-scrollbar-button{display:none}.CodeMirror-hints::-webkit-scrollbar-track{background:#e8e8e8;border-radius:4px}.CodeMirror-hints::-webkit-scrollbar-thumb{background:#a0a0a0;border-radius:4px}.CodeMirror-hints::-webkit-scrollbar-thumb:hover{background:#888}.CodeMirror-hint{color:#5c574f;padding:2px 10px;line-height:1.35!important;font-size:12px!important;margin:0!important}.CodeMirror-hint-active{background:var(--accent)!important;color:#fff!important}[data-pg-theme=dark] .CodeMirror-hints{background:#1e2022;border-color:#333;box-shadow:0 2px 8px #0000004d;scrollbar-color:rgba(255,255,255,.28) transparent}[data-pg-theme=dark] .CodeMirror-hints::-webkit-scrollbar-track{background:transparent}[data-pg-theme=dark] .CodeMirror-hints::-webkit-scrollbar-thumb{background:#ffffff47;border-radius:99px}[data-pg-theme=dark] .CodeMirror-hints::-webkit-scrollbar-thumb:hover{background:#ffffff73}[data-pg-theme=dark] .CodeMirror-hint{color:#9da5b4}.pgo-err{color:#d73a49}[data-pg-theme=dark] .pgo-err{color:#f85149}.pg-type-hint{font-family:var(--mono);font-size:11px;line-height:1.5;color:#9c968d;padding-left:8px;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;font-style:italic}[data-pg-theme=dark] .pg-type-hint{color:#6a737d}.pg-log::-webkit-scrollbar,.pg-tasks-panel::-webkit-scrollbar,.pg-info-content::-webkit-scrollbar{width:5px;height:5px}.pg-log::-webkit-scrollbar-track,.pg-tasks-panel::-webkit-scrollbar-track,.pg-info-content::-webkit-scrollbar-track{background:transparent}.pg-log::-webkit-scrollbar-thumb,.pg-tasks-panel::-webkit-scrollbar-thumb,.pg-info-content::-webkit-scrollbar-thumb{background:#80808040;border-radius:99px}.pg-log::-webkit-scrollbar-thumb:hover,.pg-tasks-panel::-webkit-scrollbar-thumb:hover,.pg-info-content::-webkit-scrollbar-thumb:hover{background:#80808073}.pg-log,.pg-tasks-panel,.pg-info-content{scrollbar-width:thin;scrollbar-color:rgba(128,128,128,.25) transparent}.CodeMirror-vscrollbar::-webkit-scrollbar,.CodeMirror-hscrollbar::-webkit-scrollbar{width:5px;height:5px}.CodeMirror-vscrollbar::-webkit-scrollbar-track,.CodeMirror-hscrollbar::-webkit-scrollbar-track{background:transparent}.CodeMirror-vscrollbar::-webkit-scrollbar-thumb,.CodeMirror-hscrollbar::-webkit-scrollbar-thumb{background:#80808047;border-radius:99px}.CodeMirror-vscrollbar::-webkit-scrollbar-thumb:hover,.CodeMirror-hscrollbar::-webkit-scrollbar-thumb:hover{background:#80808080}.CodeMirror-vscrollbar{scrollbar-width:thin;scrollbar-color:rgba(128,128,128,.28) transparent}*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:var(--sans);font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--mono);font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.static{position:static}.relative{position:relative}.block{display:block}.inline-block{display:inline-block}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}:root{--bg: #ffffff;--bg-warm: #f7f5f2;--bg-code: #1d1f21;--border: #ddd9d3;--border-dk: #c8c3bb;--text: #1a1917;--muted: #5c574f;--dim: #9c968d;--accent: #d4621a;--accent-bg: #fef4ed;--link: #c0571a;--syn-kw: #f0883e;--syn-fn: #79b8ff;--syn-str: #85e89d;--syn-cmt: #6a737d;--syn-ty: #b392f0;--syn-num: #79c0ff;--sidebar-w: 248px;--serif: "Source Serif 4", Georgia, serif;--sans: "Inter", system-ui, sans-serif;--mono: "JetBrains Mono", "Fira Code", monospace}html{scroll-behavior:smooth}body{background:var(--bg);color:var(--text);font-family:var(--serif);font-size:17px;line-height:1.75;-webkit-font-smoothing:antialiased}a{color:var(--link)}a:hover{color:var(--accent)}.topbar{height:44px;background:var(--bg-warm);border-bottom:1px solid var(--border);display:flex;align-items:center;padding:0 20px;position:sticky;top:0;z-index:20;gap:0}.site-name{font-family:var(--sans);font-size:14px;font-weight:600;color:var(--text);text-decoration:none;letter-spacing:-.01em;margin-right:24px;flex-shrink:0}.site-name span{color:var(--accent)}.site-name:hover{text-decoration:none;color:var(--text)}.topbar-nav{display:flex;align-items:center;gap:0;flex:1}.topbar-nav a{font-family:var(--sans);font-size:13px;color:var(--muted);text-decoration:none;padding:0 14px;height:44px;display:flex;align-items:center;border-right:1px solid var(--border);transition:background .1s,color .1s}.topbar-nav a:first-child{border-left:1px solid var(--border)}.topbar-nav a:hover{background:var(--bg);color:var(--text)}.topbar-nav a.active{background:var(--bg);color:var(--accent);font-weight:500}.menu-btn{display:none;margin-left:auto;background:none;border:1px solid var(--border);color:var(--muted);width:30px;height:30px;border-radius:3px;cursor:pointer;font-size:14px;align-items:center;justify-content:center;font-family:var(--sans)}.layout{display:flex;min-height:calc(100vh - 44px)}.sidebar{width:var(--sidebar-w);flex-shrink:0;background:var(--bg-warm);border-right:1px solid var(--border);padding:20px 0 40px;position:sticky;top:44px;height:calc(100vh - 44px);overflow-y:auto;scrollbar-width:thin;scrollbar-color:var(--border) transparent}.nav-group{margin-bottom:4px}.nav-label{font-family:var(--sans);font-size:10px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:var(--dim);padding:12px 18px 5px;display:block}.nav-link{display:flex;align-items:baseline;gap:7px;padding:5px 18px;font-family:var(--sans);font-size:13px;color:var(--muted);text-decoration:none;line-height:1.4;transition:color .1s,background .1s;border-left:2px solid transparent}.nav-link:hover{color:var(--text);text-decoration:none;background:#00000008}.nav-link.active{color:var(--accent);border-left-color:var(--accent);background:var(--accent-bg);font-weight:500}.nav-num{font-family:var(--mono);font-size:10px;color:var(--dim);flex-shrink:0;min-width:18px}.nav-link.active .nav-num{color:var(--accent)}.overlay{display:none;position:fixed;top:0;right:0;bottom:0;left:0;background:#0006;z-index:40}.overlay.open{display:block}.main{flex:1;min-width:0}.article{max-width:1080px;margin:0 auto;padding:44px 56px 100px}.page-header{margin-bottom:36px;padding-bottom:20px;border-bottom:1px solid var(--border)}.page-label{font-family:var(--sans);font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.1em;color:var(--dim);margin-bottom:8px}.page-title{font-family:var(--serif);font-size:30px;font-weight:700;letter-spacing:-.02em;line-height:1.15;color:var(--text);margin-bottom:10px}.page-intro{font-size:17px;color:var(--muted);line-height:1.7;max-width:620px}h2{font-family:var(--serif);font-size:22px;font-weight:700;letter-spacing:-.015em;color:var(--text);margin:48px 0 14px;line-height:1.25}h2:first-child{margin-top:0}h3{font-family:var(--sans);font-size:12px;font-weight:600;text-transform:uppercase;letter-spacing:.1em;color:var(--accent);margin:28px 0 8px}p{margin-bottom:16px;color:var(--text);font-size:17px;line-height:1.75}p.muted{color:var(--muted)}p:last-child{margin-bottom:0}ul,ol{padding-left:22px;margin-bottom:16px}li{margin-bottom:5px;font-size:17px;line-height:1.65}strong{font-weight:600}em{font-style:italic}p code,li code{font-family:var(--mono);font-size:13.5px;background:#f0ede8;border:1px solid var(--border);border-radius:3px;padding:1px 5px;color:var(--text)}hr{border:none;border-top:1px solid var(--border);margin:36px 0}.callout{border-left:3px solid;padding:14px 18px;margin:24px 0;border-radius:0 3px 3px 0}.callout-title{font-family:var(--sans);font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.1em;margin-bottom:5px}.callout p{font-size:15px;line-height:1.65;margin:0}.callout-key{border-color:var(--accent);background:var(--accent-bg)}.callout-key .callout-title{color:var(--accent)}.callout-tip{border-color:#2e7d32;background:#f1f8f1}.callout-tip .callout-title{color:#2e7d32}.callout-warn{border-color:#c0960a;background:#fdf9ed}.callout-warn .callout-title{color:#9a7308}.two-col{display:grid;grid-template-columns:1fr 1fr;gap:48px;align-items:start;margin:24px 0 36px}.two-col.lean{grid-template-columns:5fr 6fr}.sticky{position:sticky;top:64px}.code-block{background:var(--bg-code);border-radius:4px;overflow:hidden;font-size:13px;margin:0 0 16px;border:1px solid #333}.code-top{display:flex;align-items:center;justify-content:space-between;padding:7px 14px;background:#161819;border-bottom:1px solid #333}.code-fname{font-family:var(--mono);font-size:11px;color:#8a8a8a}.copy-btn{font-family:var(--mono);font-size:11px;color:#666;background:none;border:none;cursor:pointer;padding:2px 0;transition:color .1s}.copy-btn:hover{color:#aaa}pre{padding:18px;overflow-x:auto;font-family:var(--mono);font-size:13px;line-height:1.8;color:#e1e4e8}.kw{color:var(--syn-kw)}.fn{color:var(--syn-fn)}.str{color:var(--syn-str)}.cmt{color:var(--syn-cmt);font-style:italic}.ty{color:var(--syn-ty)}.num{color:var(--syn-num)}.code-block.inline{max-width:680px}.cheat-section{margin-bottom:44px}.cheat-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(320px,1fr));gap:0;border:1px solid var(--border);border-radius:4px;overflow:hidden}.cheat-cell{border-right:1px solid var(--border);border-bottom:1px solid var(--border);display:flex;flex-direction:column}.cheat-cell:nth-child(2n){border-right:none}.cheat-cell-head{font-family:var(--sans);font-size:11px;font-weight:600;color:var(--muted);background:var(--bg-warm);padding:7px 14px;border-bottom:1px solid var(--border);text-transform:uppercase;letter-spacing:.07em}.cheat-cell pre{flex:1;padding:14px;font-size:12.5px;line-height:1.75;background:var(--bg-code);color:#e1e4e8}.exercise-box{border:1px solid var(--border);border-radius:4px;overflow:hidden;margin-bottom:36px}.exercise-head{background:var(--bg-warm);border-bottom:1px solid var(--border);padding:18px 24px;display:flex;align-items:flex-start;justify-content:space-between;gap:16px}.exercise-label{font-family:var(--sans);font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.1em;color:var(--dim);margin-bottom:4px}.exercise-title{font-family:var(--serif);font-size:20px;font-weight:700;color:var(--text);letter-spacing:-.01em}.diff{font-family:var(--sans);font-size:11px;font-weight:600;padding:3px 10px;border-radius:2px;text-transform:uppercase;letter-spacing:.06em;flex-shrink:0}.diff-easy{background:#e8f5e9;color:#2e7d32}.diff-medium{background:var(--accent-bg);color:var(--accent)}.diff-hard{background:#f3e5f5;color:#7b1fa2}.exercise-body{padding:24px}.exercise-desc{font-size:16px;color:var(--muted);margin-bottom:20px;line-height:1.65}.req-list{list-style:none;padding:0;border-top:1px solid var(--border);margin:0}.req-list li{display:flex;gap:14px;align-items:baseline;padding:10px 0;border-bottom:1px solid var(--border);font-size:15px;color:var(--text)}.req-n{font-family:var(--mono);font-size:11px;color:var(--dim);flex-shrink:0;min-width:22px}.sol-toggle{display:flex;align-items:center;gap:10px;padding:11px 16px;background:var(--bg-warm);border:1px solid var(--border);border-radius:3px;cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;font-family:var(--sans);font-size:13.5px;font-weight:500;color:var(--muted);transition:background .1s,color .1s;margin-top:28px}.sol-toggle:hover{background:var(--border);color:var(--text)}.sol-toggle.open{color:var(--accent);border-color:var(--accent);background:var(--accent-bg)}.sol-icon{font-family:var(--mono);font-size:16px;color:var(--accent);width:14px}.sol-hint{margin-left:auto;font-family:var(--mono);font-size:11px;color:var(--dim)}.sol-body{display:none;margin-top:28px}.sol-body.open{display:block}.pg-link-wrap{margin-top:28px}.pg-link-btn{display:inline-block;font-family:var(--sans);font-size:13px;font-weight:500;color:var(--accent);background:var(--accent-bg);border:1px solid #f0c9a8;border-radius:4px;padding:7px 16px;text-decoration:none;transition:background .15s}.pg-link-btn:hover{background:#fde8d6;color:var(--accent)}.page-footer{display:flex;justify-content:space-between;align-items:center;gap:16px;flex-wrap:wrap;margin-top:56px;padding-top:20px;border-top:1px solid var(--border);font-family:var(--sans);font-size:14px}.page-footer a{color:var(--link);font-weight:500;text-decoration:none}.page-footer a:hover{text-decoration:underline}.home-hero{padding:52px 56px 40px;max-width:1080px;margin:0 auto;border-bottom:1px solid var(--border)}.home-hero h1{font-family:var(--serif);font-size:34px;font-weight:700;letter-spacing:-.025em;line-height:1.15;color:var(--text);margin-bottom:14px}.home-hero p{font-size:17px;color:var(--muted);max-width:540px;margin-bottom:0}.home-toc{padding:0 56px 80px;max-width:1080px;margin:0 auto}.toc-section{padding:32px 0;border-bottom:1px solid var(--border)}.toc-section:last-child{border-bottom:none}.toc-section-head{display:flex;align-items:baseline;gap:12px;margin-bottom:12px}.toc-section-title{font-family:var(--sans);font-size:13px;font-weight:600;text-transform:uppercase;letter-spacing:.09em;color:var(--text)}.toc-section-count{font-family:var(--mono);font-size:11px;color:var(--dim)}.toc-items{display:flex;flex-direction:column;gap:1px}.toc-item{display:flex;align-items:baseline;gap:10px;padding:8px 12px;text-decoration:none;color:var(--text);font-size:15px;font-family:var(--serif);transition:background .1s;border-radius:2px;margin:0 -12px}.toc-item:hover{background:var(--bg-warm);text-decoration:none;color:var(--link)}.toc-num{font-family:var(--mono);font-size:11px;color:var(--dim);min-width:20px;flex-shrink:0}.toc-desc{font-size:13px;color:var(--dim);margin-left:auto;font-family:var(--sans)}.toc-diff{font-family:var(--sans);font-size:10.5px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--dim);margin-left:6px}.pg-bar{height:42px;background:var(--bg-warm);border-bottom:1px solid var(--border);display:flex;align-items:center;padding:0 16px;gap:10px;flex-shrink:0}.pg-body{display:flex;height:calc(100vh - 86px);overflow:hidden}.pg-left-panel{flex:0 0 60%;display:flex;flex-direction:column;border-right:1px solid var(--border);overflow:hidden}.pg-tab-bar{display:flex;align-items:center;background:var(--bg-warm);border-bottom:1px solid var(--border);padding:0 8px;gap:2px;flex-shrink:0;overflow-x:auto;scrollbar-width:none}.pg-tab-bar::-webkit-scrollbar{display:none}.pg-tab{display:flex;align-items:center;gap:6px;padding:6px 10px 6px 12px;font-family:var(--mono);font-size:11.5px;color:var(--muted);cursor:pointer;border-bottom:2px solid transparent;white-space:nowrap;flex-shrink:0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.pg-tab:hover{color:var(--text)}.pg-tab.active{color:var(--text);border-bottom-color:var(--accent);font-weight:500}.pg-tab-close{font-size:14px;line-height:1;color:var(--dim);background:none;border:none;cursor:pointer;padding:0 0 1px;border-radius:2px;display:flex;align-items:center}.pg-tab-close:hover{color:#d73a49}.pg-tab-add{margin-left:4px;padding:4px 8px;font-size:16px;line-height:1;color:var(--muted);cursor:pointer;background:none;border:none;border-radius:3px}.pg-tab-add:hover{color:var(--text);background:#0000000d}.pg-editor-panel{flex:1;display:flex;flex-direction:column;overflow:hidden}.pg-info-panel{flex-shrink:0;border-top:1px solid var(--border);overflow:hidden;max-height:140px;transition:max-height .2s ease;display:flex;flex-direction:column}.pg-info-panel.collapsed{max-height:24px}.pg-info-header{display:flex;align-items:center;justify-content:space-between;padding:0 12px;height:24px;flex-shrink:0;cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;font-family:var(--sans);font-size:10.5px;font-weight:600;color:var(--dim);letter-spacing:.08em;text-transform:uppercase;background:var(--bg-warm);border-bottom:1px solid var(--border)}.pg-info-arrow{transition:transform .2s ease;font-size:11px}.pg-info-panel.collapsed .pg-info-arrow{transform:rotate(-90deg)}.pg-info-content{flex:1;font-family:var(--mono);font-size:12px;line-height:1.7;padding:6px 14px;overflow-y:auto;margin:0;white-space:pre-wrap;word-break:break-word}.pg-info-empty{color:var(--dim);font-style:italic}.pg-right-panel{flex:1;display:flex;flex-direction:column;overflow:hidden;min-width:0}.pg-tasks-panel{flex:0 0 auto;max-height:46%;overflow-y:auto;border-bottom:1px solid var(--border)}.pg-tasks-header{font-family:var(--sans);font-size:10.5px;font-weight:600;color:var(--dim);letter-spacing:.08em;text-transform:uppercase;padding:8px 16px;border-bottom:1px solid var(--border);flex-shrink:0}.pg-task{padding:9px 18px;border-bottom:1px solid var(--border)}.pg-task-head{display:flex;align-items:center;gap:10px}.pg-task-icon{font-family:var(--mono);font-size:13px;color:var(--dim);width:14px;flex-shrink:0}.pg-task.pass .pg-task-icon{color:#3fb950}.pg-task.fail .pg-task-icon{color:#f85149}.pg-task-name{font-family:var(--mono);font-size:12px;color:var(--text)}.pg-task.pass .pg-task-name{color:var(--dim)}.pg-task-detail{font-family:var(--mono);font-size:11px;color:#f85149;margin-top:4px;padding-left:24px}.pg-log-panel{flex:1;display:flex;flex-direction:column;overflow:hidden}.pg-log-header{font-family:var(--sans);font-size:10.5px;font-weight:600;color:var(--dim);letter-spacing:.08em;text-transform:uppercase;padding:8px 16px;border-bottom:1px solid var(--border);flex-shrink:0}.pg-log{flex:1;font-family:var(--mono);font-size:12.5px;line-height:1.7;padding:14px 18px;overflow-y:auto;margin:0;color:var(--text);white-space:pre-wrap;word-break:break-word}.pg-log-empty{color:var(--dim)}.pg-body.no-exercise .pg-tasks-panel{display:none}.pg-body.no-exercise .pg-log-panel{flex:1}.run-btn{font-family:var(--sans);font-size:12px;font-weight:600;color:#fff;background:var(--accent);border:none;border-radius:4px;padding:5px 16px;cursor:pointer;white-space:nowrap;transition:background .1s}.run-btn:hover{background:#b8521a}.run-btn:disabled{opacity:.6;cursor:default}.pg-error-line{background:#f851492e!important}@media (max-width: 860px){.sidebar{position:fixed;left:-100%;top:44px;bottom:0;z-index:50;transition:left .2s;width:min(var(--sidebar-w),82vw);height:calc(100vh - 44px)}.sidebar.open{left:0}.menu-btn{display:flex}.topbar-nav{display:none}.article{padding:28px 22px 72px}.home-hero{padding:32px 22px 28px}.home-toc{padding:0 22px 60px}.two-col,.two-col.lean{grid-template-columns:1fr}.sticky{position:static}.cheat-grid{grid-template-columns:1fr}.cheat-cell:nth-child(2n){border-right:1px solid var(--border)}}