Minor adjustment to the menu font sizing.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=01d6b46838a2befc6cf8e1c0a28188c058d9f94c
Modified Files
--------------
web/pgadmin/static/css/wcDocker/Themes/pgadmin.css | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)