A little right margin for 'toggle side panels' button (related to issue 6095)