Added slim and standard margins
This patch implements two new margins for the panel: a standard one, used by default on all widgets, and a slim one. The slim one is to be used by widgets whose icon needs to be a bit bigger on smaller panels, such as the task manager and the app launcher.
See also:
https://invent.kde.org/frameworks/plasma-framework/-/merge_requests/60
This, along with the other patches, is the result:
Edited by Niccolò Venerandi