From 2b1b60bc2b7e994e824f82c3232c52dc9e9e16e5 Mon Sep 17 00:00:00 2001 From: Akshay Joshi Date: Thu, 18 Aug 2016 16:51:09 +0100 Subject: [PATCH] Reduce main menu height a little. Fixes #1453 --- .../browser/templates/browser/index.html | 4 +-- web/pgadmin/static/css/overrides.css | 28 +++++++++++++++++++ 2 files changed, 30 insertions(+), 2 deletions(-) diff --git a/web/pgadmin/browser/templates/browser/index.html b/web/pgadmin/browser/templates/browser/index.html index 12f01a377..a914c000d 100644 --- a/web/pgadmin/browser/templates/browser/index.html +++ b/web/pgadmin/browser/templates/browser/index.html @@ -93,7 +93,7 @@ require.onResourceLoad = function (context, map, depMaps) { {{ _('Loading {0} v{1}...').format(config.APP_NAME, config.APP_VERSION) }} -