docs: Display version number more prominently

Resolves PostgREST/postgrest-docs#734

docs/conf.py

@@ -48,20 +48,16 @@
 # The master toctree document.
 master_doc = "index"
 
+# This is overriden by readthedocs with the version tag anyway
+version = "12.0"
+# 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 = "12.0"
-# The full version, including alpha/beta/rc tags.
-release = "12.0.0"
-
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
 #
@@ -117,7 +113,7 @@
 # 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 = []