monday authored Dec 22, 2018 and Jakub Steiner committed Jan 31, 2019

Improve overflow arrow buttons drawing on a scrollable dropdown menu:
reduce top button's margin-top to match size of a bottom button, add
margin-top for bottom button to compensate bottom margin (otherwise
button overlaps with menu content).

Closes #1539