From 6b7c78ed2c2316b2fcd2e32f5841b6d2a9a29eb5 Mon Sep 17 00:00:00 2001
From: "Michael N. Lipp" <mnl@mnl.de>
Date: Sun, 2 Mar 2025 12:13:33 +0100
Subject: [PATCH] Add readthedocs specific footer.

---
 webpages/_layouts/vm-operator.html | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/webpages/_layouts/vm-operator.html b/webpages/_layouts/vm-operator.html
index 4456d20..5d780ef 100644
--- a/webpages/_layouts/vm-operator.html
+++ b/webpages/_layouts/vm-operator.html
@@ -81,6 +81,27 @@
         {{ content }}
       </section>
       <footer>
+        <!-- Optional footer data -->
+        <p id=githubfooter style="padding: 5px 6px; visibility: hidden">
+          Hosted on GitHub Pages &mdash; 
+          <a href="https://github.com/site/terms" target="_top">Terms</a>
+          &mdash; <a href="https://github.com/site/privacy" target="_top">Privacy</a>
+        </p>
+        <p id=readthedocsfooter style="padding: 5px 6px; visibility: hidden">
+          Hosted on Readthedocs &mdash; 
+          <a href="https://docs.readthedocs.io/page/terms-of-service.html" target="_top">Terms</a>
+          &mdash; <a href="https://docs.readthedocs.io/page/privacy-policy.html" target="_top">Privacy</a>
+        </p>
+        <script type="text/javascript">
+        if (location.hostname.indexOf("github") !== -1 || location.hostname.indexOf("jdrupes.org") !== -1) {
+            document.getElementById("githubfooter").style.visibility="visible";
+        } else if (location.hostname.indexOf("readthedocs") !== -1) {
+          document.getElementById("readthedocsfooter").style.visibility="visible";
+        }
+        </script>
+        
+        
+        
         <p><small>Hosted on GitHub Pages &mdash; <a href="https://github.com/site/terms">Terms</a>
         &mdash; <a href="https://github.com/site/privacy">Privacy</a> 
         &mdash; Theme derived from <a href="https://github.com/orderedlist/minimal">minimal</a></small></p>