UI tweaks - #3

Merged

cchandurkar merged 5 commits into

mainfrom

Sep 14, 2026

Commits on Sep 10, 2026

style(ui): sidebar/analysis-panel spacing tweak, tooltip icons for array matching hints
cchandurkar
committed
70e7440
style(ui): switch-style toggles for sidebar width, Firefox pseudo-element fix, and toolbar 'Changes only' checkbox
cchandurkar
committed
8b02285
style(ui): fix invisible switch thumb in dark theme
cchandurkar
committed
e4b2665
feat(ui): make analysis panel collapsible with mobile trigger bar
cchandurkar
committed
060f446

Commits on Sep 14, 2026

feat(ui): fix sidebar panel
cchandurkar
committed
971cf87