templates/user_filtering_searchbox: fixes: caa9e515 (make "Filter" button entirely clickable)
Fix clicking on filter button as this button in not entirely clickable as padding and margin of CodeMirror-scroll element overlaps this button.
Edited by Piotr Kira