/* lab.lapingroup.uk: the few styles this site adds on top of the hub look (lg-site.css, lg-hub.css). */
.sub { border-bottom: 1px solid var(--rule); background: var(--ground); }
.sub .hw { display: flex; align-items: center; justify-content: space-between; gap: 12px; min-height: 54px; flex-wrap: wrap; }
.sub .name { font-family: "Space Grotesk", system-ui, sans-serif; font-weight: 700; font-size: 17px; letter-spacing: -.02em; text-decoration: none; color: var(--ink); }
.sub nav { display: flex; gap: 16px; }
.sub nav a { font-size: 14px; color: var(--muted); text-decoration: none; padding: 10px 0; }
.sub nav a:hover { color: var(--ink); }
.feat { display: grid; gap: 14px; }
@media (min-width: 760px) { .feat { grid-template-columns: 1fr 1fr; gap: 18px; } }
.feat a { display: grid; gap: 8px; padding: 24px 22px; border: 1px solid var(--ink); border-radius: 16px; text-decoration: none; color: var(--ink); background: var(--ground); transition: background .15s ease; }
.feat a:hover { background: var(--wash); }
.feat strong { font-family: "Space Grotesk", system-ui, sans-serif; font-size: 26px; letter-spacing: -.025em; line-height: 1.1; }
.feat span.line { color: var(--muted); font-size: 16px; line-height: 1.5; }
.feat .go { font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 13px; margin-top: 4px; }
.cards { display: grid; gap: 14px; }
@media (min-width: 760px) { .cards { grid-template-columns: 1fr 1fr; gap: 18px; } }
@media (min-width: 1100px) { .cards { grid-template-columns: 1fr 1fr 1fr; } }
.card { border: 1px solid var(--rule); border-radius: 16px; padding: 22px 20px; display: flex; flex-direction: column; gap: 12px; background: var(--ground); scroll-margin-top: 20px; }
.card:target { border-color: var(--accent-ink); box-shadow: 0 0 0 3px var(--accent-soft); }
.card-top { display: flex; justify-content: space-between; align-items: flex-start; gap: 10px; }
.card h3 { font-size: 21px; letter-spacing: -.02em; line-height: 1.15; }
.card .state { flex: none; font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 11px; color: var(--accent-ink); background: var(--accent-soft); border-radius: 999px; padding: 4px 9px; white-space: nowrap; }
.card p { margin: 0; font-size: 15.5px; line-height: 1.5; max-width: none; }
.card .what { color: var(--ink); }
.card .proves, .card .tools { color: var(--muted); }
.card .proves span, .card .tools span { display: block; font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 11.5px; color: var(--ink); margin-bottom: 2px; }
.card .tools { font-size: 14.5px; }
.card-go { margin-top: auto; align-self: flex-start; font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 13px; color: var(--ink); text-decoration: none; border: 1px solid var(--rule); border-radius: 8px; padding: 10px 13px; min-height: 44px; display: inline-flex; align-items: center; gap: 8px; }
.card-go:hover { border-color: var(--ink); }
.bench { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--ink); }
.bench li { display: grid; gap: 2px; padding: 15px 0; border-bottom: 1px solid var(--rule); }
.bench b { font-family: "Space Grotesk", system-ui, sans-serif; font-size: 18px; letter-spacing: -.02em; }
.bench span { color: var(--muted); font-size: 15.5px; }
@media (min-width: 880px) { .bench li { grid-template-columns: 300px minmax(0, 1fr); gap: 24px; align-items: baseline; } }
.themeline { display: flex; justify-content: center; padding: 0 0 26px; }