From 69c0f8c17fa080ddbd6a026af25a1f0a28969e62 Mon Sep 17 00:00:00 2001
From: Brent Huisman <brenthuisman@users.noreply.github.com>
Date: Thu, 28 Oct 2021 22:00:40 +0200
Subject: [PATCH] show docs version info more prominently on RTD (#1737)
---
doc/scripts/divio_docs_theme/layout.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/scripts/divio_docs_theme/layout.html b/doc/scripts/divio_docs_theme/layout.html
index f7d0e765..b19852c3 100755
--- a/doc/scripts/divio_docs_theme/layout.html
+++ b/doc/scripts/divio_docs_theme/layout.html
@@ -125,7 +125,7 @@
<div class="header">
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
<div class="header-title-wrap">
- <a class="header-title" href="{{ pathto(master_doc) }}">{{ project }}</a>
+ <a class="header-title" href="{{ pathto(master_doc) }}">{{ project }}</a>{% if READTHEDOCS %} v: {{ current_version }}{% endif %}
</div>
<a class="logo-link" target="_blank" href="{{ pathto(master_doc) }}"><img src="{{ pathto('_static/' + logo, 1) }}" class="logo" alt="{{ project }}"/></a>
</div>
--
GitLab