:root{color-scheme:dark;--bg:#16181c;--fg:#e7e8ea;--muted:#9a9ca1;--border:#34373d;--border-strong:#42464d;--surface:#1e2127;--surface-muted:#23262d;--surface-hover:#2a2f3a;--accent:#5aa6ea;--shadow:rgba(0,0,0,0.5);--brand-blue:#1f95d8;--brand-green:#86c01a;--brand-yellow:#f0a800;--brand-orange:#f07c18;--brand-magenta:#c23db5;--brand-violet:#8f30c0;--nsg-center:#69db7c;--nsg-commutator:#ff8787;--nsg-frattini:#da77f2;--nsg-lcs:#ffa94d;--nsg-ucs:#f783ac;--nsg-lecs:#ffd43b;--nsg-jennings:#a9e34b;--nsg-hypercenter:#e599f7;--nsg-hypocenter:#ffc078;--nsg-fitting:#94d82d;--nsg-socle:#ff8fab;--nsg-prime-radical:#20c997;--nsg-cosocle:#845ef7;--cay-1:#4593dc;--cay-2:#dd7526;--cay-3:#a678df;--cay-4:#22ab8d;--cay-5:#e45268;--cay-6:#4861d5;--cay-7:#267e05;--cay-8:#c24ba1;--cay-9:#95760d;}:root[data-theme="light"]{color-scheme:light;--bg:#fafafa;--fg:#1d1d1f;--muted:#66666b;--border:#dcdcdc;--border-strong:#c9c9c9;--surface:#ffffff;--surface-muted:#f0f0f0;--surface-hover:#eef2fb;--accent:#0a64c8;--shadow:rgba(0,0,0,0.12);--nsg-center:#2f9e44;--nsg-commutator:#e03131;--nsg-frattini:#9c36b5;--nsg-lcs:#e8590c;--nsg-ucs:#e64980;--nsg-lecs:#f59f00;--nsg-jennings:#74b816;--nsg-hypercenter:#be4bdb;--nsg-hypocenter:#d9480f;--nsg-fitting:#5c940d;--nsg-socle:#a61e4d;--nsg-prime-radical:#099268;--nsg-cosocle:#5f3dc4;--cay-1:#1567b8;--cay-2:#d05a12;--cay-3:#8b46c4;--cay-4:#0f8f74;--cay-5:#bd2c49;--cay-6:#6684fb;--cay-7:#48a830;--cay-8:#901674;--cay-9:#ae8a0d;}body{font-family:system-ui,sans-serif;max-width:60rem;margin:0.75rem auto 2rem;padding:0 1rem;line-height:1.5;background:var(--bg);color:var(--fg);transition:background-color 0.15s ease,color 0.15s ease;}button,input,select,textarea{font:inherit;}a{color:var(--accent);text-decoration:none;}a:hover{text-decoration:underline;}body:has(.full-width){max-width:none;}h1,h2{line-height:1.2;}h2{margin-top:2rem;border-bottom:1px solid var(--border);padding-bottom:0.2rem;}table{border-collapse:collapse;margin:0.5rem 0;}td,th{border:1px solid var(--border-strong);padding:0.2rem 0.5rem;text-align:center;}.gl-grid th,.gl-grid td{text-align:left;}td.cc-sig{text-align:left;font-family:ui-monospace,"SFMono-Regular",Menlo,Consolas,monospace;font-size:0.85em;overflow-wrap:anywhere;}code{background:var(--surface-muted);padding:0.1rem 0.3rem;border-radius:0.2rem;}pre{margin:0.75rem 0;padding:0.6rem 0.8rem;border-radius:0.4rem;background:var(--surface-muted);overflow-x:auto;}pre code{padding:0;border-radius:0;background:none;}.muted{color:var(--muted);}.byline{margin-top:-0.25rem;font-size:0.9rem;}.kv td{border:none;text-align:left;padding:0.15rem 0.5rem;}.kv td:first-child{padding-right:1.25rem;}.kv td:first-child a{color:var(--muted);}.kv td:first-child a:hover{color:var(--accent);}.kv thead th{border:none;border-bottom:1px solid var(--border);text-align:left;padding:0.15rem 0.5rem;color:var(--muted);font-weight:600;}.kv thead th:first-child{padding-right:1.25rem;}.kv tr.nsg{--hl:var(--accent);}.kv tr.nsg:hover{background:color-mix(in srgb,var(--hl) 14%,transparent);}.kv tr.nsg-center{--hl:var(--nsg-center);}.kv tr.nsg-commutator{--hl:var(--nsg-commutator);}.kv tr.nsg-frattini{--hl:var(--nsg-frattini);}.kv tr.nsg-lcs{--hl:var(--nsg-lcs);}.kv tr.nsg-ucs{--hl:var(--nsg-ucs);}.kv tr.nsg-lecs{--hl:var(--nsg-lecs);}.kv tr.nsg-jennings{--hl:var(--nsg-jennings);}.kv tr.nsg-hypercenter{--hl:var(--nsg-hypercenter);}.kv tr.nsg-hypocenter{--hl:var(--nsg-hypocenter);}.kv tr.nsg-fitting{--hl:var(--nsg-fitting);}.kv tr.nsg-socle{--hl:var(--nsg-socle);}.kv tr.nsg-prime-radical{--hl:var(--nsg-prime-radical);}.kv tr.nsg-cosocle{--hl:var(--nsg-cosocle);}.tags{display:flex;flex-wrap:wrap;gap:0.4rem;margin:0.5rem 0;padding:0;list-style:none;}.tag{border:1px solid var(--border-strong);border-radius:1rem;background:var(--surface-muted);font-size:0.9rem;line-height:1.4;}.tag a{display:block;padding:0.15rem 0.6rem;color:inherit;}.tag:hover{border-color:var(--accent);}.tag a:hover{text-decoration:none;}sup.stacked{margin-left:-0.5em;}sub.sign{font-size:0.85em;font-weight:700;}.table-scroll{overflow:auto;max-height:80vh;max-width:100%;}.ct th{background:var(--surface-muted);white-space:nowrap;}.ct tbody th{position:sticky;left:0;z-index:1;text-align:right;}.ct thead th:first-child{position:sticky;left:0;z-index:3;}.ct td{white-space:nowrap;}.surd{font-size:inherit;}.surd mn,.surd mi{font-family:inherit;}.surd mi{font-style:normal;}.matrixgens{display:flex;flex-wrap:wrap;gap:1.25rem;align-items:center;margin:0.5rem 0;}.matrixgen{font-size:inherit;}.matrixgen mn{font-family:inherit;font-style:normal;padding:0 0.35em;}.matrixgen mi{padding:0 0.35em;}.home-intro{display:grid;grid-template-columns:repeat(3,1fr);gap:1rem;margin-bottom:1.5rem;}.intro-card{display:flex;flex-direction:column;border-radius:0.5rem;padding:0.6rem 0.9rem 0.7rem;--card-tint:var(--brand-orange);--card-wash:22%;--card-edge:70%;--card-head:75%;background:var(--surface);background:color-mix(in srgb,var(--card-tint) var(--card-wash),var(--surface));border:1px solid var(--border);border-color:color-mix(in srgb,var(--card-tint) var(--card-edge),var(--border));border-top:3px solid var(--card-tint);}:root[data-theme="light"] .intro-card{--card-wash:12%;--card-edge:35%;--card-head:30%;}.intro-agent{--card-tint:var(--brand-orange);}.intro-operator{--card-tint:var(--brand-yellow);}.intro-explorer{--card-tint:var(--brand-green);}.intro-card h2{margin:0 0 0.4rem;border:none;padding:0;font-size:1.05rem;color:var(--fg);color:color-mix(in srgb,var(--card-tint) var(--card-head),var(--fg));}.intro-card p{margin:0;font-size:0.9rem;}.intro-card .intro-more{margin-top:auto;padding-top:0.5rem;font-size:0.9rem;white-space:nowrap;}.home{display:flex;gap:2rem;align-items:flex-start;}.home-main{flex:3 1 0;min-width:0;}.home-aside{flex:1 1 0;min-width:11rem;}.home-aside .sidebar+.sidebar{margin-top:1rem;}.featured-name{margin-top:0.25rem;font-size:1.1rem;}.featured-body{display:flex;gap:1.5rem;align-items:flex-start;}.featured-props,.featured-lattice{flex:1 1 0;min-width:0;}.sidebar{flex:0 0 11rem;border:1px solid var(--border);border-radius:0.5rem;padding:0.5rem 0.7rem 0.7rem;--sidebar-tint:var(--brand-violet);background:var(--surface);background:color-mix(in srgb,var(--sidebar-tint) 7%,var(--surface));}.sidebar-order{--sidebar-tint:var(--brand-violet);}.sidebar-browse{--sidebar-tint:var(--brand-blue);}.sidebar-multiplicative{--sidebar-tint:var(--brand-green);}.sidebar-unique_splitting{--sidebar-tint:var(--brand-magenta);}.sidebar-rational{--sidebar-tint:var(--brand-orange);}.sidebar-ambivalent{--sidebar-tint:var(--brand-blue);}.sidebar-frobenius{--sidebar-tint:var(--brand-magenta);}.sidebar-dihedral,.sidebar-quaternion{--sidebar-tint:var(--brand-orange);}.sidebar-hamiltonian{--sidebar-tint:var(--brand-orange);}.sidebar-perfect,.sidebar-quasisimple,.sidebar-simple,.sidebar-sporadic,.sidebar-superperfect{--sidebar-tint:var(--brand-yellow);}.sidebar-almost-simple{--sidebar-tint:var(--brand-blue);}.sidebar-monolithic{--sidebar-tint:var(--brand-green);}.sidebar-non-solvable{--sidebar-tint:var(--brand-yellow);}.sidebar-supersolvable{--sidebar-tint:var(--brand-violet);}.sidebar-complete{--sidebar-tint:var(--brand-magenta);}.sidebar-alternating,.sidebar-symmetric{--sidebar-tint:var(--brand-green);}.sidebar-modular,.sidebar-extraspecial{--sidebar-tint:var(--brand-violet);}.sidebar-gl,.sidebar-sl,.sidebar-pgl,.sidebar-psl,.sidebar-sp,.sidebar-psp,.sidebar-gu,.sidebar-su,.sidebar-psu,.sidebar-go,.sidebar-so,.sidebar-omega,.sidebar-agl,.sidebar-asl,.sidebar-gammal,.sidebar-sigmal,.sidebar-pgammal,.sidebar-psigmal,.sidebar-agammal,.sidebar-asigmal,.sidebar-ut,.sidebar-borel{--sidebar-tint:var(--brand-blue);}.sidebox-table{width:100%;margin:0.25rem 0 0;font-size:0.85rem;}.sidebox-table td{border:none;padding:0.05rem 0.25rem;text-align:left;}.sidebox-table td:first-child,.sidebox-table td:last-child{text-align:right;color:var(--muted);width:1%;white-space:nowrap;}.sidebox-more{margin:0.5rem 0 0;font-size:0.9rem;}.sidebox-list{list-style:none;margin:0.25rem 0 0;padding:0;font-size:0.9rem;}.sidebox-list li{display:flex;justify-content:space-between;gap:0.75rem;padding:0.1rem 0;}.sidebox-list li .order{color:var(--muted);}.sidebar h2{margin:0 0 0.5rem;border:none;font-size:1rem;}.finder{position:relative;display:block;}.finder input[type="number"]{width:100%;box-sizing:border-box;padding:0.35rem 2rem 0.35rem 0.5rem;-moz-appearance:textfield;appearance:textfield;}.finder input[type="number"]::-webkit-inner-spin-button,.finder input[type="number"]::-webkit-outer-spin-button{-webkit-appearance:none;margin:0;}.finder-go{position:absolute;top:0;right:0;height:100%;width:2rem;display:flex;align-items:center;justify-content:center;padding:0;background:none;border:none;color:var(--muted);cursor:pointer;}.finder-go:hover{color:var(--accent);}.content .sidebar{float:right;width:13rem;margin:0 0 1rem 1.5rem;}.content::after{content:"";display:block;clear:both;}.content blockquote{margin:1.5rem 0 2rem;padding:0.25rem 1.25rem;border-left:3px solid var(--border-strong);color:var(--muted);font-style:italic;}.content blockquote p{margin:0.4rem 0;}.content blockquote p:last-child:not(:only-child){font-style:normal;text-align:right;font-size:0.9em;}.sitemap-list{list-style:none;padding:0;margin:1.25rem 0;columns:15rem;column-gap:2.5rem;}.sitemap-list li{margin:0.2rem 0;break-inside:avoid;}@media (max-width:40rem){.home,.featured-body{flex-direction:column;}.home-intro{grid-template-columns:1fr;}.sidebar{flex-basis:auto;width:100%;}.content .sidebar{float:none;width:auto;margin:0 0 1rem;}}.nav{margin-top:1rem;}.listing-note{margin:0.75rem 0;padding:0.5rem 0.75rem;border:1px solid var(--border);border-left:3px solid var(--brand-orange);border-radius:0.4rem;background:var(--surface);background:color-mix(in srgb,var(--brand-orange) 8%,var(--surface));font-size:0.95rem;}.tabs{display:flex;flex-wrap:wrap;gap:0.25rem;margin:0.75rem 0 1.25rem;border-bottom:1px solid var(--border);}.tabs .tab{padding:0.35rem 0.85rem;margin-bottom:-1px;color:var(--muted);border:1px solid transparent;border-radius:0.3rem 0.3rem 0 0;}.tabs .tab:hover{color:var(--fg);text-decoration:none;background:var(--surface-hover);}.tabs .tab[aria-current="page"]{color:var(--fg);font-weight:600;background:var(--bg);border-color:var(--border);border-bottom-color:var(--bg);}.pager{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:0.3rem;margin-top:1.5rem;}.page-numbers{display:flex;flex-wrap:wrap;align-items:center;gap:0.2rem;}.page-num,.page-step{min-width:1.9rem;padding:0.25rem 0.5rem;text-align:center;border:1px solid var(--border);border-radius:0.3rem;color:var(--accent);}.page-num:hover,.page-step:hover{background:var(--surface-hover);text-decoration:none;}.page-num.current{background:var(--accent);border-color:var(--accent);color:var(--bg);font-weight:600;}.page-step.disabled{color:var(--muted);opacity:0.5;cursor:default;}.page-gap{padding:0 0.2rem;color:var(--muted);}.page-jump{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:0.35rem;margin-top:0.6rem;color:var(--muted);font-size:0.9rem;}.page-jump-label{display:inline-flex;align-items:center;gap:0.35rem;}.page-jump-input{width:5rem;padding:0.2rem 0.35rem;text-align:center;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface);color:var(--fg);}.page-jump-go{padding:0.2rem 0.6rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface-muted);color:var(--fg);cursor:pointer;}.page-jump-go:hover{background:var(--surface-hover);}.titlebar{display:flex;align-items:center;gap:1rem;padding:0.5rem 0;margin-bottom:1.5rem;border-bottom:1px solid var(--border);}.titlebar .brand{display:flex;align-items:center;gap:0.2rem;flex:0 0 auto;color:var(--fg);text-decoration:none;}.titlebar .logo{display:block;height:40px;width:auto;}.titlebar .wordmark{position:relative;font-weight:700;font-size:1.25rem;letter-spacing:-0.05em;word-spacing:-0.2rem;line-height:1.1;white-space:nowrap;}.titlebar .wordmark-beta{position:absolute;top:-0.65em;right:-0.65em;font-size:0.6em;font-weight:600;font-style:italic;letter-spacing:0.02em;word-spacing:normal;color:var(--brand-yellow);transform:rotate(-8deg);}.titlebar .wordmark-sub{color:var(--brand-violet);font-weight:500;}.titlebar .brand:hover .wordmark,.titlebar .brand:hover .wordmark-sub{color:var(--accent);}.titlebar-spacer{flex:1 1 auto;}.titlebar-nav{flex:0 0 auto;}.menu{position:relative;display:inline-block;}.menu-toggle{display:inline-flex;align-items:center;background:none;border:1px solid var(--border);border-radius:0.3rem;color:var(--fg);font-size:1rem;line-height:1;padding:0.4rem 0.55rem;cursor:pointer;user-select:none;list-style:none;}.menu-toggle::-webkit-details-marker{display:none;}.menu-toggle::marker{content:"";}.menu-toggle:hover{background:var(--surface-muted);}.menu-panel{position:absolute;top:calc(100% + 0.35rem);right:0;z-index:30;min-width:11rem;display:flex;flex-direction:column;padding:0.3rem;background:var(--surface);border:1px solid var(--border-strong);border-radius:0.4rem;box-shadow:0 6px 20px var(--shadow);}.menu-panel a,.menu-panel button{display:block;width:100%;box-sizing:border-box;text-align:left;padding:0.4rem 0.6rem;border:none;border-radius:0.25rem;background:none;color:var(--fg);font:inherit;text-decoration:none;cursor:pointer;}.menu-panel a:hover,.menu-panel button:hover{background:var(--surface-hover);}.menu-theme{margin-top:0.3rem;padding-top:0.55rem;border-top:1px solid var(--border);}.titlebar-search{flex:0 0 auto;}.titlebar .search{margin:0;width:18rem;}@media (max-width:40rem){.titlebar .search{width:auto;}.titlebar .wordmark{display:none;}}.site-footer{margin-top:2.5rem;padding-top:0.75rem;border-top:1px solid var(--border);color:var(--muted);font-size:0.85rem;text-align:center;}.site-footer a{color:inherit;}.site-footer a:hover{color:var(--accent);}.search{position:relative;display:block;margin:1rem 0;max-width:32rem;}.search input[type="search"]{width:100%;box-sizing:border-box;padding:0.4rem 2.2rem 0.4rem 0.6rem;-webkit-appearance:textfield;appearance:textfield;}.search input[type="search"]::-webkit-search-cancel-button{display:none;}.search-go{position:absolute;top:0;right:0;height:100%;width:2.2rem;display:flex;align-items:center;justify-content:center;padding:0;background:none;border:none;color:var(--muted);cursor:pointer;}.search-go:hover{color:var(--accent);}.search .suggestions{position:absolute;top:100%;left:0;right:0;margin:0.15rem 0 0;padding:0;list-style:none;background:var(--surface);border:1px solid var(--border-strong);border-radius:0.3rem;box-shadow:0 2px 6px var(--shadow);max-height:18rem;overflow-y:auto;z-index:10;}.search .suggestions li a{display:block;padding:0.35rem 0.6rem;text-decoration:none;color:inherit;}.search .suggestions li a:hover,.search .suggestions li a.is-active{background:var(--surface-hover);}.search .suggestions .suggestion-head{padding:0.4rem 0.6rem 0.15rem;color:var(--muted);font-size:0.72rem;letter-spacing:0.05em;text-transform:uppercase;}.search .suggestions .suggestion-action{border-bottom:1px solid var(--border);}.search-hero{max-width:100%;margin:0 0 1.75rem;}.search-hero input[type="search"]{font-size:1.15rem;padding:0.7rem 2.8rem 0.7rem 0.9rem;}.search-hero .search-go{width:2.8rem;}body:has(.search-hero) .titlebar-search{display:none;}.titlebar .search input[type="search"]{padding-right:3.8rem;}.search-help{position:absolute;top:0;right:2.2rem;height:100%;width:1.5rem;display:flex;align-items:center;justify-content:center;color:var(--muted);text-decoration:none;font-weight:600;opacity:0;pointer-events:none;transition:opacity 0.12s ease;}.search:focus-within .search-help{opacity:1;pointer-events:auto;}.search-help:hover,.search-help:focus{color:var(--accent);}.results{padding-left:1.2rem;}.lattice{max-width:100%;height:auto;border:1px solid var(--border);border-radius:0.4rem;touch-action:none;--hl:var(--accent);}.lattice .node-circle{fill:var(--surface);stroke:currentColor;}.lattice .node-circle.b-characteristic{stroke-width:2.2;}.lattice .node-circle.b-normal{stroke-width:1.1;}.lattice .node-circle.b-nonnormal{stroke-width:1.1;stroke-dasharray:4 3;}.lattice .node-dot{fill:currentColor;stroke:none;}.lattice .edge-line{stroke:currentColor;stroke-width:1.1;fill:none;opacity:0.45;}.lattice.reduced .edge-line{stroke-dasharray:2 5;stroke-linecap:round;}.lattice .node-fo{pointer-events:none;}.lattice .node-label{width:48px;height:48px;display:flex;align-items:center;justify-content:center;font-family:system-ui,sans-serif;font-size:13px;line-height:1;text-align:center;color:var(--fg);}.lattice .node-label sub,.lattice .node-label sup{font-size:0.75em;line-height:0;}.lattice .node-label sub{vertical-align:-0.3em;}.lattice .node-label sup{vertical-align:0.5em;}.lattice .node-badge{font-family:system-ui,sans-serif;font-size:10px;font-weight:600;fill:var(--accent);text-anchor:middle;dominant-baseline:central;paint-order:stroke;stroke:var(--surface);stroke-width:2.6px;stroke-linejoin:round;}.lattice a{text-decoration:none;}.lattice .n{cursor:grab;}.lattice .n:active{cursor:grabbing;}.lattice .n.hot .node-circle,.lattice .n.hot .node-dot{stroke:var(--hl);stroke-width:2.4;filter:drop-shadow(0 0 5px var(--hl)) drop-shadow(0 0 2px var(--hl));}.lattice .n.hot .node-circle{fill:color-mix(in srgb,var(--hl) 24%,var(--surface));}.lattice .n.hot .node-dot{fill:var(--hl);}.lattice .edge-line.hot{stroke:var(--hl);opacity:1;stroke-width:1.8;}.lattice-wrap{position:relative;}.lattice-notice{position:absolute;top:0.55rem;right:0.55rem;max-width:min(24rem,calc(100% - 1.1rem));font-size:0.82rem;text-align:right;}.lattice-notice summary{display:inline-block;cursor:pointer;list-style:none;padding:0.12rem 0.65rem;border:1px dashed var(--border);border-radius:999px;background:var(--surface);color:var(--muted);user-select:none;}.lattice-notice summary::-webkit-details-marker{display:none;}.lattice-notice summary:hover,.lattice-notice[open] summary{color:var(--fg);border-color:var(--muted);}.lattice-notice-body{margin-top:0.35rem;padding:0.45rem 0.7rem;border:1px solid var(--border);border-radius:0.4rem;background:var(--surface);color:var(--fg);text-align:left;box-shadow:0 4px 14px rgba(0,0,0,0.25);}.lattice-notice-body p{margin:0.25rem 0;}.stats{display:grid;grid-template-columns:max-content;gap:1.25rem;margin:1.5rem 0;}.stats dt{font-size:0.85rem;text-transform:uppercase;letter-spacing:0.04em;color:var(--muted);}.stats dd{margin:0.15rem 0 0;font-size:1.75rem;font-variant-numeric:tabular-nums;}.conditions{margin:1.25rem 0 1.75rem;}.condition{display:block;margin:0 0 1rem;}.condition>label{display:block;margin-bottom:0.35rem;color:var(--muted);font-size:0.85rem;text-transform:uppercase;letter-spacing:0.04em;}.condition-input{width:100%;box-sizing:border-box;padding:0.6rem 0.8rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface);color:var(--fg);font-family:ui-monospace,"SFMono-Regular",Menlo,Consolas,monospace;font-size:1.05rem;}.conditions-go{padding:0.4rem 1.1rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface-muted);color:var(--fg);font-size:1rem;cursor:pointer;}.conditions-go:hover{background:var(--surface-hover);}.condition-box{position:relative;display:block;}.condition-box .condition-input{padding-right:2.8rem;}.condition-go{position:absolute;top:0;right:0;height:100%;width:2.8rem;display:flex;align-items:center;justify-content:center;padding:0;background:none;border:none;color:var(--muted);cursor:pointer;}.condition-go:hover{color:var(--accent);}.filters{display:grid;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:1rem 2rem;margin:0 0 1rem;}.filter-col>.filter{margin-bottom:0.6rem;}.filter>label{display:block;margin-bottom:0.25rem;color:var(--muted);font-size:0.8rem;text-transform:uppercase;letter-spacing:0.04em;}.filter-input{width:100%;box-sizing:border-box;padding:0.35rem 0.5rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface);color:var(--fg);font-size:0.95rem;}.tri{display:flex;align-items:center;justify-content:space-between;gap:0.75rem;}.tri-name{color:var(--fg);font-size:0.95rem;}.tri-switch{display:inline-flex;flex:0 0 auto;border:1px solid var(--border-strong);border-radius:999px;background:var(--surface);overflow:hidden;}.tri-switch input[type="radio"]{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip-path:inset(50%);white-space:nowrap;}.tri-seg{display:flex;align-items:center;justify-content:center;width:2.1rem;height:1.6rem;color:var(--muted);font-size:0.95rem;line-height:1;cursor:pointer;user-select:none;}.tri-seg:hover{background:var(--surface-hover);}.tri-switch input[type="radio"][value="yes"] +.tri-seg{color:var(--nsg-center);}.tri-switch input[type="radio"][value="no"] +.tri-seg{color:var(--nsg-commutator);}.tri-switch input[type="radio"]:not(:checked)+.tri-seg{opacity:0.4;}.tri-switch input[type="radio"]:checked+.tri-seg{background:var(--surface-hover);font-weight:600;}.tri-switch input[type="radio"]:focus-visible+.tri-seg{outline:2px solid var(--accent);outline-offset:-2px;}.sr-only{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip-path:inset(50%);white-space:nowrap;}.show-sql{margin:1rem 0;}.show-sql summary{color:var(--muted);font-size:0.9rem;cursor:pointer;}.show-sql summary:hover{color:var(--accent);}.show-sql pre{font-size:0.85rem;white-space:pre-wrap;overflow-wrap:anywhere;}.sql-form{margin:1rem 0 1.25rem;}.sql-input{display:block;width:100%;box-sizing:border-box;padding:0.6rem 0.8rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface);color:var(--fg);font-family:ui-monospace,"SFMono-Regular",Menlo,Consolas,monospace;font-size:0.95rem;resize:vertical;}.sql-actions{display:flex;align-items:center;gap:0.75rem;margin-top:0.5rem;}.sql-refusal{overflow-wrap:anywhere;}.sql-rules{margin:1.25rem 0;}.sql-rules summary{color:var(--muted);cursor:pointer;}.sql-rules summary:hover{color:var(--accent);}.sql-examples code{white-space:pre-wrap;overflow-wrap:anywhere;}.search-status{display:flex;align-items:center;gap:0.6rem;margin:1rem 0;}.spinner{width:0.9em;height:0.9em;flex:none;border:2px solid var(--border-strong);border-top-color:var(--accent);border-radius:50%;animation:spinner-turn 0.8s linear infinite;}@keyframes spinner-turn{to{transform:rotate(360deg);}}@media (prefers-reduced-motion:reduce){.spinner{animation:none;}}.search-cancel{padding:0.15rem 0.7rem;border:1px solid var(--border-strong);border-radius:0.3rem;background:var(--surface-muted);color:var(--fg);font-size:0.9rem;cursor:pointer;}.search-cancel:hover{background:var(--surface-hover);}.tab-presentation{--tab-hue:var(--brand-blue);}.tab-properties{--tab-hue:var(--brand-green);}.tab-composition{--tab-hue:var(--brand-violet);}.tabs:has(.tab-hue){margin-bottom:0;}.tabs .tab-hue{background:color-mix(in srgb,var(--tab-hue) 6%,transparent);}.tabs .tab-hue:hover{background:color-mix(in srgb,var(--tab-hue) 14%,transparent);}.tabs .tab-hue[aria-current="page"]{background:color-mix(in srgb,var(--tab-hue) 15%,transparent);border-color:color-mix(in srgb,var(--tab-hue) 35%,transparent);border-bottom-color:var(--tab-hue);}.tab-body{padding:1.1rem 1.25rem;margin-bottom:1.5rem;border-radius:0 0 0.4rem 0.4rem;border-left:3px solid color-mix(in srgb,var(--tab-hue) 55%,transparent);background:color-mix(in srgb,var(--tab-hue) 5%,transparent);}.tab-body>:first-child{margin-top:0;}.tab-body>:last-child{margin-bottom:0;}.grid-scroll{overflow-y:auto;border:1px solid var(--border);border-radius:0.4rem;width:max-content;max-width:100%;}.order-grid{position:sticky;top:0;border-collapse:collapse;font-variant-numeric:tabular-nums;font-size:0.8rem;background:var(--bg);}.order-grid th{padding:0.2rem 0.4rem;background:var(--surface-muted);color:var(--muted);font-weight:500;text-align:right;}.order-grid td{padding:0.15rem 0.4rem;text-align:right;white-space:nowrap;border:1px solid var(--border);}.order-grid .grid-label{background:var(--surface-muted);color:var(--muted);font-weight:600;}.order-grid td a{display:block;color:inherit;text-decoration:none;}.order-grid td a:hover{text-decoration:underline;}.order-grid .mark{color:var(--muted);}.order-grid td.held .mark,.held-legend{color:var(--nsg-center);font-weight:600;}.order-grid td.none{color:var(--muted);}.order-grid td.mag-k{background:color-mix(in srgb,var(--brand-orange) 7%,transparent);}.order-grid td.mag-m{background:color-mix(in srgb,var(--brand-orange) 15%,transparent);}.order-grid td.mag-g{background:color-mix(in srgb,var(--brand-orange) 26%,transparent);}.order-grid td.target{outline:2px solid var(--accent);outline-offset:-2px;animation:order-target-glow 1.1s ease-out 3;}@keyframes order-target-glow{from{box-shadow:inset 0 0 0 2px var(--accent);}to{box-shadow:inset 0 0 12px 2px color-mix(in srgb,var(--accent) 55%,transparent);}}@media (prefers-reduced-motion:reduce){.order-grid td.target{animation:none;}}.isoclinic-members td:nth-child(2),.isoclinic-members td:nth-child(3){text-align:right;font-variant-numeric:tabular-nums;}.isoclinic-filter{display:flex;align-items:center;gap:0.5rem;margin:0.75rem 0;}.isoclinic-filter label{display:flex;align-items:center;gap:0.4rem;cursor:pointer;}.stem-mark{color:var(--nsg-center);font-weight:600;}.order-summary th[scope="row"]{text-align:left;}.order-summary td{text-align:right;font-variant-numeric:tabular-nums;}.order-summary tfoot th,.order-summary tfoot td{background:var(--surface-muted);font-weight:600;}.order-jump{display:flex;align-items:center;gap:0.5rem;margin:0.75rem 0;flex-wrap:wrap;}.order-jump input{width:8rem;}.cayley-wrap{display:flex;justify-content:center;margin:1rem 0 1.5rem;}svg.cayley{display:block;width:min(100%,78vh);max-width:56rem;height:auto;aspect-ratio:1;background:var(--surface);border:1px solid var(--border);border-radius:0.4rem;}.cayley .cay-g0{stroke:var(--cay-1);fill:var(--cay-1);}.cayley .cay-g1{stroke:var(--cay-2);fill:var(--cay-2);}.cayley .cay-g2{stroke:var(--cay-3);fill:var(--cay-3);}.cayley .cay-g3{stroke:var(--cay-4);fill:var(--cay-4);}.cayley .cay-g4{stroke:var(--cay-5);fill:var(--cay-5);}.cayley .cay-g5{stroke:var(--cay-6);fill:var(--cay-6);}.cayley .cay-g6{stroke:var(--cay-7);fill:var(--cay-7);}.cayley .cay-g7{stroke:var(--cay-8);fill:var(--cay-8);}.cayley .cay-g8{stroke:var(--cay-9);fill:var(--cay-9);}.cayley .cay-edges line{fill:none;opacity:0.92;}.cayley .cay-edges polygon{stroke:none;opacity:0.92;}.cayley .cay-vertices circle{fill:var(--surface);stroke:var(--fg);}.cayley .cay-vertices circle.cay-identity{fill:var(--fg);stroke:none;}.cayley-legend{list-style:none;padding:0;margin:0 0 1.5rem;display:flex;flex-wrap:wrap;gap:0.4rem 1.5rem;justify-content:center;}.cayley-legend li{display:flex;align-items:center;gap:0.5rem;}.cayley-legend .cay-swatch{width:1.6rem;border-top:3px solid currentcolor;flex:none;}.cayley-legend .cay-g0{color:var(--cay-1);}.cayley-legend .cay-g1{color:var(--cay-2);}.cayley-legend .cay-g2{color:var(--cay-3);}.cayley-legend .cay-g3{color:var(--cay-4);}.cayley-legend .cay-g4{color:var(--cay-5);border-top-style:dashed;}.cayley-legend .cay-g5{color:var(--cay-6);border-top-style:dashed;}.cayley-legend .cay-g6{color:var(--cay-7);border-top-style:dashed;}.cayley-legend .cay-g7{color:var(--cay-8);border-top-style:dotted;}.cayley-legend .cay-g8{color:var(--cay-9);border-top-style:dotted;}.cayley-thumb{float:right;width:clamp(7rem,24vw,10rem);margin:0.25rem 0 1rem 1.5rem;text-decoration:none;color:var(--muted);}.cayley-thumb svg.cayley{width:100%;max-width:none;}.cayley-thumb span{display:block;text-align:center;font-size:0.8rem;margin-top:0.3rem;}.cayley-thumb:hover svg.cayley,.cayley-thumb:focus-visible svg.cayley{border-color:var(--accent);}.cayley-thumb:hover span,.cayley-thumb:focus-visible span{color:var(--accent);}.abl-split{display:grid;gap:1.5rem;grid-template-columns:minmax(0,1fr);align-items:start;}@media (min-width:60rem){.abl-split{grid-template-columns:minmax(0,5fr) minmax(0,4fr);}.abl-diagram{position:sticky;top:1rem;}}.abl-split>div{min-width:0;}.abl-split h2{margin-top:0;}.abl-classes{max-height:80vh;overflow:auto;}.abl-table thead th{position:sticky;top:0;background:var(--bg);z-index:1;}.abl-table tbody tr{--hl:var(--accent);}.abl-table tbody tr:hover{background:color-mix(in srgb,var(--hl) 14%,transparent);}.abl-table tbody tr:target{background:color-mix(in srgb,var(--hl) 22%,transparent);}.abl-prime{display:flex;align-items:center;gap:0.5rem;margin:0.75rem 0;flex-wrap:wrap;}.abl-prime input{width:6rem;padding:0.3rem 0.5rem;border:1px solid var(--border);border-radius:0.3rem;background:var(--surface);color:inherit;}.abl-prime button{padding:0.3rem 0.9rem;border:1px solid var(--border);border-radius:0.3rem;background:var(--surface);color:inherit;cursor:pointer;}.abl-prime button:hover{border-color:var(--accent);color:var(--accent);}.abl-index td:first-child a{color:var(--accent);}.chart{margin:1.5rem 0;}.chart svg{display:block;width:100%;height:auto;}.chart figcaption{margin-top:0.4rem;text-align:center;font-size:0.85rem;color:var(--muted);}.chart .chart-grid{stroke:var(--border);stroke-width:1;}.chart .chart-axis{stroke:var(--border-strong);stroke-width:1;}.chart .chart-tick{fill:var(--muted);font-size:11px;font-variant-numeric:tabular-nums;}.chart .chart-label{fill:var(--fg);font-size:12px;}.chart .chart-line{fill:none;stroke:var(--accent);stroke-width:2;stroke-linecap:round;stroke-linejoin:round;}.chart .chart-dot{fill:var(--accent);stroke:var(--bg);stroke-width:2;}.chart .chart-value{fill:var(--fg);font-size:11px;font-variant-numeric:tabular-nums;}.chart .chart-hit{fill:transparent;}.chart .chart-pt{outline:none;cursor:default;}.chart .chart-tip{opacity:0;pointer-events:none;transition:opacity 0.12s ease;}.chart .chart-pt:hover .chart-tip,.chart .chart-pt:focus .chart-tip{opacity:1;}.chart .chart-pt:focus .chart-dot{stroke:var(--accent);}.chart .chart-tip rect{fill:var(--surface);stroke:var(--border-strong);}.chart .chart-tip text{fill:var(--fg);font-size:11px;font-variant-numeric:tabular-nums;}@media (prefers-reduced-motion:reduce){.chart .chart-tip{transition:none;}}