Skip to content

Fix gutter styling with dark themes#14

Merged
jtpio merged 1 commit intojupyter-ai-contrib:mainfrom
jtpio:fix-dark-theme-styling
Sep 22, 2025
Merged

Fix gutter styling with dark themes#14
jtpio merged 1 commit intojupyter-ai-contrib:mainfrom
jtpio:fix-dark-theme-styling

Commits

Commits on Sep 17, 2025