Bernard Siebens 9bc5377cc5 Drop the sidebar's "Platform" title, add top margin ...

Cosmetic: the section label was redundant with the panel it lives in.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

2026-07-15 12:58:24 +02:00

..

controlpanel

Drop the sidebar's "Platform" title, add top margin

2026-07-15 12:58:24 +02:00