From c411520d98a2fdd7becfa2c04ae7a8589688b4fc Mon Sep 17 00:00:00 2001
From: Ashesh Vashi <ashesh.vashi@enterprisedb.com>
Date: Mon, 11 Feb 2019 10:58:19 +0000
Subject: [PATCH] Increase table header vertical padding to make headers more
 distinguished.

---
 web/pgadmin/static/scss/_bootstrap.overrides.scss         | 3 +++
 web/pgadmin/static/scss/resources/_default.variables.scss | 1 +
 2 files changed, 4 insertions(+)

diff --git a/web/pgadmin/static/scss/_bootstrap.overrides.scss b/web/pgadmin/static/scss/_bootstrap.overrides.scss
index 863fb658a..8136e2e40 100644
--- a/web/pgadmin/static/scss/_bootstrap.overrides.scss
+++ b/web/pgadmin/static/scss/_bootstrap.overrides.scss
@@ -163,6 +163,9 @@ legend {
 
 .table {
 	margin-bottom: 0rem;
+	th {
+		padding: $table-header-cell-padding $table-cell-padding;
+	}
 }
 
 .table-bordered {
diff --git a/web/pgadmin/static/scss/resources/_default.variables.scss b/web/pgadmin/static/scss/resources/_default.variables.scss
index b25610bd7..3a77c568d 100644
--- a/web/pgadmin/static/scss/resources/_default.variables.scss
+++ b/web/pgadmin/static/scss/resources/_default.variables.scss
@@ -113,6 +113,7 @@ $nav-tabs-link-active-bg: none;
 $nav-tabs-link-active-border-color: none;
 
 $table-cell-padding: 0.25rem;
+$table-header-cell-padding: 0.75rem;
 $table-hover-bg: none; //we will use our own classes
 $table-active-bg: $color-primary-light;
 $table-border-width: $border-width !default;