Shrink these things and make them less ugly:  How can it be done? I think it has to do with `PE_PanelButtonTool` somehow?
Shrink these things and make them less ugly:
How can it be done? I think it has to do with
PE_PanelButtonToolsomehow?