A new guide has been published: How to change the Plasma system menu height
Dedoimedo published a quick tutorial about how to change the Plasma system menu height.
Read more @ Linux Compatible
