v4.0
Improved UI (#6575)
Use Noto Sans font
UI: Fix code syntax highlighting
Improved instruct style (with syntax highlighting & LaTeX rendering) (#5936)
Revert "Standardize margins and paddings across all chat styles"
Multiple small CSS fixes
UI: Better handle the chat input position with CSS
Lint
Fix hover menu shifting down when chat input grows