Repository navigation
Commit f1e7a55
Improve binder underlines and hover styling (#153)
## Description
Match clickable binder underline colors to their text and show a subtle
tint of the selected background when hovering over a binder. Keep
source-highlight underlines dotted on hover.
<img width="408" height="161" alt="image"
src="https://github.com/user-attachments/assets/17e21380-f29d-45df-b7a2-2ec574149e36"
/>
Validated with a production extension build and independent review of
the split.
🤖 Generated with [Codex](https://openai.com/codex/)
---------
Co-authored-by: Codex <noreply@openai.com>1 parent 0dff861 commit f1e7a55
1 file changed
Lines changed: 6 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
826 | 826 | | |
827 | 827 | | |
828 | 828 | | |
829 | | - | |
| 829 | + | |
| 830 | + | |
| 831 | + | |
| 832 | + | |
| 833 | + | |
| 834 | + | |
830 | 835 | | |
831 | 836 | | |
832 | 837 | | |
| |||
0 commit comments