adjust margin around 'clear bookmarks' button; fixes #690