Gnome任務欄高度更改

前些日子下載了個Orchis-theme, 感覺最上面的任務欄(或者叫狀態欄/頂部欄？反正英文叫 panel top bar)寬度過高，屏幕不大的話，看起來非常難受，只能自己動手搜索解決，過程如下。