mirror of
https://github.com/paperclipai/paperclip.git
synced 2026-10-06 21:05:21 +02:00
Removes the rounded border around the execution workspace toggle section and increases top/bottom padding for better visual spacing. Co-Authored-By: Paperclip <noreply@paperclip.ing>