I downloaded the Orchis-theme a while ago. I feel like the top taskbar (or status bar/top bar? Anyway, it's called the panel top bar in English) is too tall. It looks really awkward on a small screen, so I had to search for a fix myself. The process is as follows.