Gnome任务栏高度更改

前些日子下载了个Orchis-theme, 感觉最上面的任务栏(或者叫状态栏/顶部栏？反正英文叫 panel top bar)宽度过高，屏幕不大的话，看起来非常难受，只能自己动手搜索解决，过程如下。