@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-cyrillic-ext-400-normal-g30qAdWV.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-ext-400-normal-Dsrv2Tcn.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-cyrillic-400-normal-DZqxrq2p.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-400-normal-BTotfTJu.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-greek-400-normal-_efipK4i.woff2)format("woff2"),url(/assets/ibm-plex-sans-greek-400-normal-D9ESIMu3.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-vietnamese-400-normal-DG4YqDda.woff2)format("woff2"),url(/assets/ibm-plex-sans-vietnamese-400-normal-fK1oJ5dG.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-latin-ext-400-normal-C5H60-Va.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-ext-400-normal-RBey6euL.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-latin-400-normal-CDDApCn2.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-400-normal-CYLoc0-x.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-cyrillic-ext-500-normal-Cs5J6C77.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-ext-500-normal-DB5PtV2g.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-cyrillic-500-normal-CocWQlwt.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-500-normal-ByOcLdNv.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-greek-500-normal-JMMifIXV.woff2)format("woff2"),url(/assets/ibm-plex-sans-greek-500-normal-CuWXN6rf.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-vietnamese-500-normal-e4dixQRQ.woff2)format("woff2"),url(/assets/ibm-plex-sans-vietnamese-500-normal-BEb3_waV.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-latin-ext-500-normal-DakdToA3.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-ext-500-normal-D0aIdm-b.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-latin-500-normal-6ng42L7E.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-500-normal-BgVn5rGT.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-cyrillic-ext-600-normal-DUMzJB7m.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-ext-600-normal-Bz0x94Yp.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-cyrillic-600-normal-71GNu3SW.woff2)format("woff2"),url(/assets/ibm-plex-sans-cyrillic-600-normal-BGq0mW3O.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-greek-600-normal-DzTrcv_p.woff2)format("woff2"),url(/assets/ibm-plex-sans-greek-600-normal-D-CqTdkO.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-vietnamese-600-normal-DpPYBSTl.woff2)format("woff2"),url(/assets/ibm-plex-sans-vietnamese-600-normal-DgdngZtN.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-latin-ext-600-normal-DOrvGEcy.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-ext-600-normal-DIrixKbi.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-latin-600-normal-CuJfVYMP.woff2)format("woff2"),url(/assets/ibm-plex-sans-latin-600-normal-Cu4Hd6ag.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-cyrillic-ext-400-normal-CxUI4jC_.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-ext-400-normal-BcBv-TKp.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-cyrillic-400-normal-CPQ8oqB-.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-400-normal-C7IY3oUc.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-vietnamese-400-normal-DGubAMUE.woff2)format("woff2"),url(/assets/ibm-plex-serif-vietnamese-400-normal-BY9Vij9A.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-latin-ext-400-normal-CNMooFZX.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-ext-400-normal-DwktX9jl.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-latin-400-normal-BIGslYFI.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-400-normal-BB-zNvJB.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-cyrillic-ext-400-italic-o20Cx6Xj.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-ext-400-italic-CPw2or01.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-cyrillic-400-italic-C_ad97oI.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-400-italic-CygxzOWU.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-vietnamese-400-italic-BSp0Db6W.woff2)format("woff2"),url(/assets/ibm-plex-serif-vietnamese-400-italic-1VBVfWB7.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-latin-ext-400-italic-hOoDEQwh.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-ext-400-italic-4IJS-XHX.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-serif-latin-400-italic-BCf4TsCA.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-400-italic-Dd68USph.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-serif-cyrillic-ext-600-normal-DXSZftVr.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-ext-600-normal-CDMeBxaJ.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-serif-cyrillic-600-normal-6oiym5iu.woff2)format("woff2"),url(/assets/ibm-plex-serif-cyrillic-600-normal-C8YEAlRA.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-serif-vietnamese-600-normal-BBruYZNA.woff2)format("woff2"),url(/assets/ibm-plex-serif-vietnamese-600-normal-DZRaS25B.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-serif-latin-ext-600-normal-CU6LeQOd.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-ext-600-normal-D1-_Ic5L.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-serif-latin-600-normal-DAxitmSu.woff2)format("woff2"),url(/assets/ibm-plex-serif-latin-600-normal-D3rpGdkS.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-cyrillic-ext-400-normal-xuaO2J-f.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-ext-400-normal-DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-cyrillic-400-normal-BSMlKf0J.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-400-normal-CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-vietnamese-400-normal-BulugwFq.woff2)format("woff2"),url(/assets/ibm-plex-mono-vietnamese-400-normal-DDuiU_S-.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-latin-ext-400-normal-BmRBH3aV.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-ext-400-normal-D3D2R8hC.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-latin-400-normal-DMJ8VG8y.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-400-normal-CvHOgSBP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--bg:#f6f4ef;--surface:#fffdf9;--ink:#1d1d1f;--muted:#6a6a70;--line:#e3dfd6;--accent:#0e6b69;--accent-ink:#fff;--soft:#e6f1f0;--canvas:#fffdf9;--shadow:0 1px 2px #0000000d;--serif:"IBM Plex Serif", Georgia, serif;--sans:"IBM Plex Sans", system-ui, sans-serif;--mono:"IBM Plex Mono", ui-monospace, monospace;--radius:8px;--gap:16px;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root{--bg:#121416;--surface:#1a1d20;--ink:#e8e6e1;--muted:#9b9ba1;--line:#2d3136;--accent:#5cc4bd;--accent-ink:#0d1f1e;--soft:#1f2d2c;--canvas:#1a1d20;--shadow:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{font:15px/1.5 var(--sans);background:var(--bg);color:var(--ink);margin:0}a{color:var(--accent);text-underline-offset:2px}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}h1,h2,h3{font-family:var(--serif);font-weight:600;line-height:1.25}h2{margin:0 0 10px;font-size:1.25rem}h3{margin:0 0 8px;font-size:1.05rem}.mono{font-family:var(--mono);font-size:.85em}.note,.hint{color:var(--muted);font-size:.85rem}.hint{margin:6px 0 0}.prose{font-family:var(--serif);max-width:42em;font-size:1.02rem}button{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--line);cursor:pointer;border-radius:6px;padding:4px 10px}button:hover{border-color:var(--accent)}button.quiet{color:var(--accent);background:0 0;border-color:#0000;padding:4px 6px}input,select{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--line);border-radius:6px;padding:4px 8px}input[type=range]{accent-color:var(--accent);background:0 0;border:0;padding:0}input[type=checkbox]{accent-color:var(--accent)}header{z-index:10;background:color-mix(in srgb, var(--surface) 92%, transparent);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:20px;padding:10px 20px;display:flex;position:sticky;top:0}header h1{margin:0;font-size:1.1rem}header h1 a{color:var(--ink);text-decoration:none}nav{gap:4px;display:flex}nav a{color:var(--muted);border-radius:6px;padding:4px 10px;text-decoration:none}nav a:hover{color:var(--ink)}nav a.on{color:var(--accent);background:var(--soft);font-weight:500}nav .short{display:none}header .spacer{flex:1}main{padding:var(--gap) 20px 40px;max-width:1280px;margin:0 auto}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);padding:14px 16px}dl{grid-template-columns:max-content 1fr;gap:6px 14px;margin:0;font-size:.92rem;display:grid}dt{color:var(--muted)}dd{word-break:break-word;margin:0}.tag{white-space:nowrap;color:var(--ink);background:color-mix(in srgb, var(--tag,#9ca3af) 28%, var(--surface));border-radius:10px;padding:0 8px;font-size:.72rem;line-height:1.6;display:inline-block}.tag.lift{--tag:#3b82f6}.tag.slab{--tag:#22c55e}.tag.census{--tag:#eab308}.tag.stacking{--tag:#ec4899}.tag.Barlow{--tag:#6366f1}.tag.uniform{--tag:#9ca3af}table{border-collapse:collapse;width:100%;font-size:.9rem}th,td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:6px 10px}th{color:var(--muted);font-weight:500}.seq td:nth-child(2){font-variant-numeric:tabular-nums;font-weight:600}.status-theorem,.status-exact{color:#15803d}.status-floor{color:#b45309}.status-open{color:#b91c1c}@media (prefers-color-scheme:dark){.status-theorem,.status-exact{color:#4ade80}}.table-wrap{overflow-x:auto}.toolbar{align-items:center;gap:12px;margin-bottom:10px;display:flex}.filters-toggle{display:none}.filters{flex-wrap:wrap;align-items:center;gap:10px 16px;margin-bottom:12px;font-size:.9rem;display:flex}.filters label{color:var(--muted);align-items:center;gap:6px;display:flex}.filters .search input{width:18em}table.classes th{background:var(--bg);position:sticky;top:49px}th.sortable{cursor:pointer;-webkit-user-select:none;user-select:none}th.sortable:hover{color:var(--ink)}tr.row{cursor:pointer}tr.row:hover{background:var(--soft)}.more{justify-content:center;padding:16px;display:flex}.nav-bar{flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:12px;display:flex}.classpage{gap:var(--gap);grid-template-columns:minmax(280px,1fr) minmax(0,2.1fr);align-items:start;display:grid}.class-title{word-break:break-word;margin:0 0 12px;font-size:1.3rem}.class-title .id{color:var(--accent);margin-right:4px;font-size:.8em}.legend,.orbit-legend{color:var(--muted);flex-wrap:wrap;gap:6px 14px;font-size:.8rem;display:flex}.orbit-legend{margin-top:8px}.sw{vertical-align:-1px;border-radius:2px;width:11px;height:11px;margin-right:4px;display:inline-block}.sw.dot{border-radius:50%}canvas.viewer{background:var(--canvas);border:1px solid var(--line);cursor:grab;touch-action:none;border-radius:6px;width:100%;height:clamp(320px,62vh,640px);margin:10px 0 6px;display:block}canvas.viewer:active{cursor:grabbing}.controls{color:var(--muted);flex-wrap:wrap;align-items:center;gap:8px 18px;font-size:.85rem;display:flex}.controls label{align-items:center;gap:6px;display:flex}@media (width<=760px){body{font-size:15px}header{gap:8px 14px;padding:8px 14px}header h1{width:100%;font-size:1rem}header .spacer,header .total,nav .long{display:none}nav .short{display:inline}nav a{padding:4px 8px}main{padding:12px 12px 32px}.card{padding:12px}.classpage{grid-template-columns:minmax(0,1fr)}.class-title{font-size:1.1rem}.classpage>.main-col{order:-1}canvas.viewer{height:min(62vh,110vw)}.controls input[type=range]{width:110px}.filters-toggle{display:inline-block}.filters{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);flex-direction:column;align-items:stretch;padding:12px;display:none}.filters.open{display:flex}.filters label{justify-content:space-between}.filters .search input{width:100%}.cards{grid-template-columns:minmax(0,1fr);gap:8px;display:grid}.class-card{color:var(--ink);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);min-width:0;padding:10px 12px;text-decoration:none;display:block}.class-card:active{background:var(--soft)}.card-head{align-items:center;gap:8px;display:flex}.card-head .id{color:var(--accent)}.card-head .world{color:var(--muted);margin-left:auto;font-size:.8rem}.card-name{word-break:break-word;margin:2px 0;font-weight:500}.card-meta{color:var(--muted);flex-direction:column;font-size:.78rem;display:flex}.card-meta .species{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}dl{grid-template-columns:minmax(0,1fr);gap:0}dt{margin-top:8px;font-size:.8rem}}.intro{margin-bottom:var(--gap)}.chips{flex-wrap:wrap;gap:6px;margin-top:10px;display:flex}.chip{color:var(--ink);border:1px solid var(--line);background:var(--surface);border-radius:14px;padding:2px 10px;font-size:.85rem;text-decoration:none}.chip.on{background:var(--soft);border-color:var(--accent);color:var(--accent);font-weight:500}.lift-row{margin:22px 0}.lift-row h3{margin-bottom:10px}.tiles{grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:10px;display:grid}.tile{color:var(--ink);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);flex-direction:column;min-width:0;text-decoration:none;display:flex;overflow:hidden}.tile:hover{border-color:var(--accent)}.tile svg.tiling,.tile .tiling.missing{aspect-ratio:1;background:var(--canvas);width:100%;display:block}.tiling.missing{text-align:center;color:var(--muted);justify-content:center;align-items:center;padding:10px;font-size:.8rem;display:flex}.tile-caption{border-top:1px solid var(--line);flex-direction:column;min-width:0;padding:6px 8px 8px;display:flex}.tile-caption .id{color:var(--accent)}.tile-caption .types{color:var(--muted);word-break:break-word;font-size:.72rem}.side{gap:var(--gap);min-width:0;display:grid}.planar-card svg.tiling{background:var(--canvas);border:1px solid var(--line);border-radius:6px;width:100%;height:auto;max-height:360px;margin:4px 0 8px;display:block}.filters .check{gap:6px}@media (width<=760px){.tiles{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.seq .composition{display:none}}.summary{font-family:var(--serif);max-width:60em;color:var(--ink);margin:-6px 0 14px;font-size:1.02rem}.main-col{gap:var(--gap);min-width:0;display:grid}.orbit-rows{grid-template-columns:repeat(auto-fill,minmax(250px,1fr));gap:8px;margin-top:8px;display:grid}.orbit-row{border:1px solid var(--line);cursor:pointer;border-radius:6px;align-items:center;gap:10px;min-width:0;padding:6px;display:flex}.orbit-row:hover,.orbit-row.on{border-color:var(--accent);background:var(--soft)}canvas.star{background:var(--canvas);border-radius:4px;flex:none;width:84px;height:84px}.orbit-text{min-width:0;font-size:.85rem}.orbit-words{margin:2px 0}.orbit-label{color:var(--muted);word-break:break-word;font-size:.75rem}.found-card p{margin:6px 0;font-size:.9rem}details summary{cursor:pointer;color:var(--accent);font-size:.85rem}details p{color:var(--muted);word-break:break-word;font-size:.78rem}svg.word-strip{width:100%;height:auto;margin:6px 0;display:block}.word-token{font-family:var(--mono);fill:var(--ink);font-size:9px}.word-dir{font-family:var(--mono);fill:#fff;font-size:9px}.star-grid{margin-top:var(--gap);grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:10px;display:grid}.star-card{color:var(--ink);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);align-items:center;gap:12px;min-width:0;padding:10px;text-decoration:none;display:flex}.star-card:hover{border-color:var(--accent)}.star-card canvas.star,.star-card .star{flex:none;width:96px;height:96px}.star-text{min-width:0;font-size:.88rem}.star-label{color:var(--accent);margin-bottom:2px}.star-users{margin:10px 0}.star-users h3{margin:0 0 4px;font-size:.95rem}.links{font-family:var(--mono);flex-wrap:wrap;gap:4px 10px;font-size:.8rem;display:flex}.orbit-link{font-size:.75rem}.search-box{position:relative}.search-box input{border-radius:16px;width:16em;padding:4px 10px}.suggestions{z-index:20;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);width:min(420px,92vw);margin:0;padding:4px;list-style:none;position:absolute;top:calc(100% + 4px);right:0;box-shadow:0 6px 20px #0000001f}.suggestions li{cursor:pointer;border-radius:6px;align-items:baseline;gap:10px;min-width:0;padding:6px 8px;display:flex}.suggestions li.on,.suggestions li:hover{background:var(--soft)}.hit-id{color:var(--accent);flex:none}.hit-name{white-space:nowrap;text-overflow:ellipsis;font-size:.85rem;overflow:hidden}@media (width<=760px){.search-box{order:5;width:100%}.search-box input{width:100%}.suggestions{width:100%;left:0;right:auto}.star-grid{grid-template-columns:minmax(0,1fr)}}.hero h2{margin-bottom:8px;font-size:1.6rem}svg.chart{width:100%;max-width:680px;height:auto;margin:12px 0 4px;display:block}svg.chart .axis{stroke:var(--line)}svg.chart .bar-space{fill:var(--accent)}svg.chart .bar-plane{fill:color-mix(in srgb, var(--accent) 35%, var(--surface))}svg.chart .bar-value{font:13px var(--sans);fill:var(--ink)}svg.chart .bar-value.plane{fill:var(--muted)}svg.chart .bar-k{font:13px var(--sans);fill:var(--muted)}.chart-legend{color:var(--muted);font-size:.85rem}.chart-legend .sw.space{background:var(--accent)}.chart-legend .sw.plane{background:color-mix(in srgb, var(--accent) 35%, var(--surface));margin-left:10px}.entries{margin:var(--gap) 0;grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:12px;display:grid}.entry,.featured{color:var(--ink);text-decoration:none;display:block}.entry:hover,.featured:hover{border-color:var(--accent)}.entry h3,.featured h3{color:var(--accent);margin-bottom:4px}.entry p,.featured p{color:var(--muted);margin:0;font-size:.9rem}.section-title{margin-top:26px}.featured-list{grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:12px;display:grid}.featured .id{color:var(--accent)}.featured h3{font-family:var(--sans);word-break:break-word;margin-top:6px;font-size:.95rem}.guide-section{margin:var(--gap) 0;scroll-margin-top:70px}.guide .toc{columns:2;font-size:.95rem}.guide .prose p,.guide .prose li{margin:8px 0}.about .card{margin-bottom:var(--gap)}.refs li{margin:8px 0}.cite{background:var(--soft);word-break:break-word;border-radius:6px;padding:8px 10px}dt a.term{color:var(--muted);text-underline-offset:3px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}dt a.term:hover{color:var(--accent)}footer{border-top:1px solid var(--line);flex-wrap:wrap;justify-content:center;gap:18px;padding:20px;font-size:.85rem;display:flex}@media (width<=760px){nav{flex-wrap:nowrap;max-width:100%;overflow-x:auto}.guide .toc{columns:1}.hero h2{font-size:1.3rem}svg.chart .bar-value,svg.chart .bar-k{font-size:18px}}.skip{z-index:30;background:var(--accent);color:var(--accent-ink);border-radius:6px;padding:6px 10px;position:absolute;top:-40px;left:8px}.skip:focus{top:8px}main:focus{outline:none}th button.sort{font:inherit;color:inherit;cursor:pointer;background:0 0;border:0;padding:0}th button.sort:hover{color:var(--ink)}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}