Add version to the nav title (#662)

Author: steff456

spec/2021.12/conf.py

@@ -6,4 +6,8 @@
 from _array_api_conf import *
 
 release = "2021.12"
+
+nav_title = html_theme_options.get("nav_title") + " v{}".format(release)
+html_theme_options.update({"nav_title": nav_title})
+
 sys.modules["array_api"] = stubs_mod

spec/2022.12/conf.py

@@ -6,4 +6,7 @@
 from _array_api_conf import *
 
 release = "2022.12"
+
+nav_title = html_theme_options.get("nav_title") + " v{}".format(release)
+html_theme_options.update({"nav_title": nav_title})
 sys.modules["array_api"] = stubs_mod

spec/draft/conf.py

@@ -6,4 +6,7 @@
 from _array_api_conf import *
 
 release = "DRAFT"
+
+nav_title = html_theme_options.get("nav_title") + " {}".format(release)
+html_theme_options.update({"nav_title": nav_title})
 sys.modules["array_api"] = stubs_mod