Attached is the patch for changes required in pgAdmin accordingly. I have kept the total hover width as $splitter-hover-width:5px, which can be changed.
Kindly review.
--
Thanks and Regards,
Aditya Toshniwal
Software Engineer | EnterpriseDB Software Solutions | Pune