Fix name of margin hints of task manager
The "thick" margin is for the panel. I copypasted the margins from the panel without even correcting the ID names. This means that the icons were too large on a 38px panel.
This qualifies as one of my dumbest mistakes. :D
From the bug:
In particular, at exactly 38 or 40px thickness, the icons are just enormous and nearly touch the edges of their bounding boxes. It just doesn't look good.
Everything in that bug is to be resolved as intended except for the icon size in a 38px icon. This MR fixes that scenario.
Edited by Niccolò Venerandi