pgAdmin 4 commit: Further styling fixes. - Mailing list pgadmin-hackers

Further styling fixes.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=7d765fea04bd3d059a7a7dc7b1aee01bf0e18ae8
Author: Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>

Modified Files
--------------
web/pgadmin/browser/static/js/node.js              |  2 +-
web/pgadmin/misc/file_manager/__init__.py          |  7 +-
web/pgadmin/misc/file_manager/static/js/utility.js |  8 +--
.../file_manager/static/scss/_file_manager.scss    | 52 ++++++++++++++
.../file_manager/js/languages/{en.js => en.json}   |  9 ---
web/pgadmin/static/js/backform.pgadmin.js          | 84 +++++++++++++++++++++-
web/pgadmin/static/scss/_backform.overrides.scss   | 15 ++--
web/pgadmin/static/scss/_backgrid.overrides.scss   |  7 +-
web/pgadmin/static/scss/_codemirror.overrides.scss | 25 ++++---
web/pgadmin/static/scss/_pgadmin.style.scss        | 12 +++-
.../static/scss/resources/_default.variables.scss  |  3 +
.../templates/security/change_password.html        |  2 +-
web/pgadmin/tools/backup/static/js/backup.js       |  7 +-
.../tools/debugger/static/js/debugger_ui.js        |  2 +-
web/pgadmin/tools/sqleditor/static/js/sqleditor.js |  3 +
15 files changed, 193 insertions(+), 45 deletions(-)