(href: string)
| 437 | // Render the `#token=…` fragment in a de-emphasized gray so the host/port |
| 438 | // stands out while the full URL stays selectable for copying. |
| 439 | const urlWithDimToken = (href: string): string => { |
| 440 | const [base, frag] = splitTokenFragment(href); |
| 441 | return frag === '' ? url(base) : url(base) + dim(frag); |
| 442 | }; |
| 443 | |
| 444 | const port = Number(new URL(origin).port); |
| 445 | // Borderless header: the Kimi sprite (the little mascot with eyes) sits next |
no test coverage detected