chore: publish from main

This commit is contained in:
github-actions[bot]
2026-08-27 01:36:44 +00:00
parent a2e866b7ba
commit a5b1385cc0
16 changed files with 908 additions and 166 deletions
+9
View File
@@ -236,6 +236,15 @@ export function styles() {
.project-ac-item .project-ac-all { color: var(--text-color-muted, #8b949e); font-style: italic; }
.project-ac-item.active .project-ac-all,
.project-ac-item:hover .project-ac-all { color: var(--color-fg-on-emphasis, #ffffff); }
/* Checkmark on a slug confirmed to exist via a live project.view lookup
(a project the paged autocomplete list never reached). */
.project-ac-item .project-ac-verified {
margin-left: 6px;
color: var(--color-success-fg, #3fb950);
font-weight: 600;
}
.project-ac-item.active .project-ac-verified,
.project-ac-item:hover .project-ac-verified { color: var(--color-fg-on-emphasis, #ffffff); }
.project-ac-empty,
.project-ac-more {
padding: 6px 8px;