Cinnamon settings: Add 6px border with to filter/search box
Reduce value in previous commit to 3...