docs: Display version number more prominently

Resolves https://github.com/PostgREST/postgrest-docs/issues/734

docs/conf.py

@@ -44,20 +44,16 @@ source_suffix = ".rst"
 # The master toctree document.
 master_doc = "index"
 
+# This is overriden by readthedocs with the version tag anyway
+version = "10.2"
+# To avoid repetition in <title> we set this to an empty string.
+release = ""
+
 # General information about the project.
-project = "PostgREST"
+project = "PostgREST " + version
 author = "Joe Nelson, Steve Chavez"
 copyright = "2017, " + author
 
-# The version info for the project you're documenting, acts as replacement for
-# |version| and |release|, also used in various other places throughout the
-# built documents.
-#
-# The short X.Y version.
-version = "10.2"
-# The full version, including alpha/beta/rc tags.
-release = "10.2.0"
-
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
 #
@@ -113,7 +109,7 @@ html_theme = "sphinx_rtd_theme"
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-# html_theme_options = {}
+html_theme_options = {"display_version": False}
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []