From d1a42ea88385373b5100a609e87fdcda46c1097b Mon Sep 17 00:00:00 2001
From: embeddedt <42941056+embeddedt@users.noreply.github.com>
Date: Sun, 30 May 2021 08:21:24 -0400
Subject: [PATCH] chore(docs) add "v" prefix

---
 docs/_templates/page.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/docs/_templates/page.html b/docs/_templates/page.html
index 9cb1650a18..9f6a941b2b 100644
--- a/docs/_templates/page.html
+++ b/docs/_templates/page.html
@@ -2,6 +2,11 @@
 
 {% block footer %}
 
+<style>
+  .wy-side-nav-search > div[role="search"] {
+    color: black;
+  }
+</style>
  <script type="text/javascript">
     $(document).ready(function() {
         $(".toggle > *").hide();
@@ -22,7 +27,7 @@ function add_version_selector()
             const versions = text.split("\n").filter(version => version.trim().length > 0);
             let p = document.getElementById("rtd-search-form").parentElement;
             p.innerHTML = `
-            <select name="versions" id="versions" onchange="ver_sel()" style="border-radius:5px; margin-bottom:15px">
+            v: <select name="versions" id="versions" onchange="ver_sel()" style="border-radius:5px; margin-bottom:15px">
             ${versions.map(version => {
                 const versionName = (version.indexOf(".") != -1) ? version : (version + " (latest minor)");
                 return `<option value="${version}">${versionName}</option>`;