/* search: the header button, and the overlay it and "/" open */
.search-open { flex: none; gap: var(--space-2); color: var(--muted); }
.search-open[hidden] { display: none; }
.search-open kbd { border: 0; padding: 0; background: none; color: var(--faint); }
#search { position: fixed; inset: 0; z-index: 20; background: var(--scrim); }
#search .search-box { position: absolute; top: max(8px, 8vh); left: 50%; transform: translateX(-50%); width: min(680px, calc(100vw - 16px)); background: var(--raised); border: var(--hairline) solid var(--border); padding: var(--space-2); box-shadow: var(--shadow); }
#search input { width: 100%; font: var(--fw-regular) var(--text-lg) var(--sans); padding: var(--space-2) var(--space-3); border: var(--hairline) solid var(--border-strong); background: var(--bg); color: var(--fg); }
#search input:focus, #finder input:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 var(--hairline) var(--accent); }
#search ol { list-style: none; margin: var(--space-1) 0 0; padding: 0; max-height: 65vh; overflow: auto; }
#search li.group { margin: var(--space-2) 0 var(--space-half); padding: var(--space-1) var(--space-2); font-size: var(--text-sm); font-weight: var(--fw-medium); color: var(--fg); background: var(--tint); border-block: var(--hairline) solid var(--border); }
#search li.group span { font: var(--fw-regular) var(--text-xs) var(--mono); color: var(--faint); margin-left: var(--space-1); }
#search li a { display: block; padding: var(--space-1) var(--space-2); color: var(--fg); }
#search li a:hover { background: var(--hover); text-decoration: none; }
#search li.sel a, #search li.sel button { background: var(--hover); box-shadow: inset 2px 0 0 var(--accent); }
#search .t, #search .m { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
#search .t.mono { font-size: var(--text-sm); }
#search .m.mono { white-space: pre; }
#search .m { font-size: var(--text-xs); color: var(--muted); }
#search b { color: var(--link); font-weight: var(--fw-strong); }
#search li.more button { min-height: 0; border: 0; background: none; padding: var(--space-1) var(--space-2); width: 100%; justify-content: flex-start; color: var(--link); }
#search li.note { padding: var(--space-1) var(--space-2); font-size: var(--text-sm); color: var(--muted); }
#search .hint { margin: var(--space-2) var(--space-2) var(--space-half); font-size: var(--text-sm); color: var(--muted); }
#search .hint:empty { display: none; }
/* file finder */
#finder { position: fixed; top: 10%; left: 50%; transform: translateX(-50%); z-index: 20; width: min(640px, 94vw); background: var(--raised); border: var(--hairline) solid var(--border); padding: var(--space-2); box-shadow: var(--shadow); }
#finder input { width: 100%; font: var(--fw-regular) var(--text-md) var(--mono); padding: var(--space-2); border: var(--hairline) solid var(--border-strong); background: var(--bg); color: var(--fg); }
#finder ol { list-style: none; margin: var(--space-2) 0 0; padding: 0; max-height: 60vh; overflow: auto; }
#finder li a { display: block; padding: var(--space-1) var(--space-2); font-family: var(--mono); font-size: var(--text-sm); color: var(--fg); }
#finder li.sel a { background: var(--hover); box-shadow: inset 2px 0 0 var(--accent); }
#finder li b { color: var(--link); }
/* A repo's front matter, above its tabs: its name, what it is about and
   its topics; its facts in a column at the right, behind a hairline; on
   phones the facts go under the about line. */
.repo-front { display: grid; grid-template-columns: minmax(0, 1fr) minmax(15em, 21em); gap: var(--space-2) var(--space-6); margin: var(--space-2) 0 var(--space-3); }
.repo-front h1 { margin: 0; font-size: var(--text-2xl); line-height: 1.15; overflow-wrap: anywhere; }
.repo-front .about { margin: var(--space-2) 0 0; max-width: 46em; font-size: var(--text-prose); color: var(--fg); overflow-wrap: anywhere; }
.rf-topics { display: flex; flex-wrap: wrap; gap: var(--space-1) var(--space-3); margin: var(--space-2) 0 0; font-size: var(--text-sm); }
.rf-topics span { color: var(--muted); }
.facts { align-self: start; margin: 0; padding: var(--space-1) 0 var(--space-1) var(--space-4); border-left: var(--hairline) solid var(--border); font-size: var(--text-sm); }
.facts > div { display: grid; grid-template-columns: 5.5em minmax(0, 1fr); gap: var(--space-2); align-items: baseline; padding: var(--space-half) 0; }
.facts dt { color: var(--muted); }
.facts dd { display: flex; flex-wrap: wrap; align-items: baseline; gap: var(--space-1) var(--space-2); margin: 0; min-width: 0; color: var(--fg); }
.facts dd > a:first-child:not(.mono) { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 100%; }
.facts .site { display: inline-flex; align-items: center; gap: var(--space-1); }
.facts time { font-size: var(--text-xs); color: var(--faint); font-variant-numeric: tabular-nums; }
.facts .sha { font-size: var(--text-xs); }
.facts .pass { color: var(--pass); }
.facts .fail { color: var(--fail); }
.facts .unverified { color: var(--warn); }
.facts .none { color: var(--muted); }
.lang-bar { display: flex; width: 100%; height: var(--space-1); margin-top: var(--space-1); background: var(--lang-rest); overflow: hidden; }
.lang-bar > i { display: block; height: 100%; }
.langs { display: flex; flex-wrap: wrap; gap: 0 var(--space-3); color: var(--muted); }
.langs b { font-weight: var(--fw-medium); color: var(--fg); }
.lc1 { background: var(--lang-1); }
.lc2 { background: var(--lang-2); }
.lc3 { background: var(--lang-3); }
.langs i { display: inline-block; width: var(--space-2); height: var(--space-2); margin-right: var(--space-1); }
@media (max-width: 720px) {
	.repo-front { grid-template-columns: minmax(0, 1fr); }
	.facts { padding: var(--space-2) 0 0; border-left: 0; }
}
footer.site .keyhelp { min-height: 0; background: none; border: 0; padding: 0; color: var(--muted); }
footer.site .keyhelp:hover { color: var(--fg); background: none; }
@media (pointer: coarse) and (hover: none) { footer.site .keyhelp { display: none; } }
/* keyboard shortcuts (keys.ts) */
#help { width: min(440px, 94vw); padding: 0; background: var(--raised); color: var(--fg); border: var(--hairline) solid var(--border); box-shadow: var(--shadow); }
#help:focus { outline: none; }
#help::backdrop { background: var(--scrim); }
#help > div { padding: var(--space-4) var(--space-5); }
#help h2 { margin: 0 0 var(--space-1); }
#help table { width: 100%; border-collapse: collapse; font-size: var(--text-sm); }
#help td { padding: var(--space-1) 0; vertical-align: top; border-bottom: var(--hairline) solid var(--border); }
#help td:first-child { width: 1%; padding-right: var(--space-4); white-space: nowrap; }
#help kbd { color: var(--fg); }
#help p { margin: var(--space-3) 0 0; font-size: var(--text-sm); }