From 9d60efa0e47d95c32ebd0bc8cad078aa1a5affca Mon Sep 17 00:00:00 2001
From: Brent Huisman <brent@huisman.pl>
Date: Wed, 27 Oct 2021 13:08:54 +0200
Subject: [PATCH] show docs version info more prominently on RTD

---
 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 f7d0e7658e..b19852c364 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>