Обсуждение: pgAdmin 4 commit: Increase table header vertical padding to makeheader

Increase table header vertical padding to make headers more distinguished.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=c411520d98a2fdd7becfa2c04ae7a8589688b4fc
Author: Ashesh Vashi <ashesh.vashi@enterprisedb.com>

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