Add navigation links to the bottom of the docs, and embiggen the font a touch.
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=475a717cd664eed8bc9fc0f196e86a6b5b616407
Modified Files
--------------
docs/en_US/theme/pgadmin4/layout.html | 231 ++++++++++++++++++++++++++++-
docs/en_US/theme/pgadmin4/static/style.css | 20 ++-
2 files changed, 244 insertions(+), 7 deletions(-)