Reduce main menu height a little. Fixes #1453
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=2b1b60bc2b7e994e824f82c3232c52dc9e9e16e5
Author: Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/browser/templates/browser/index.html | 4 ++--
web/pgadmin/static/css/overrides.css | 28 ++++++++++++++++++++++++
2 files changed, 30 insertions(+), 2 deletions(-)