From 5d34f325535c1a50ba11d39e76dbd8c6c8961ec3 Mon Sep 17 00:00:00 2001
From: Adrien Dupuis <adrien.dupuis@ibexa.co>
Date: Mon, 23 Oct 2023 18:20:16 +0200
Subject: [PATCH 1/2] 404.html: Avoid 404.png redirection

GET https://doc.ibexa.co/images/404.png
302 Found
Location: https://doc.ibexa.co/en/master/images/404.png
---
 theme/404.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theme/404.html b/theme/404.html
index c227eecc96..66f78d8714 100644
--- a/theme/404.html
+++ b/theme/404.html
@@ -2,7 +2,7 @@
 
 {% block content %}
 <div class="page-not-found">
-    <img src="/images/404.png" alt="Not found" />
+    <img src="{{ base_url }}/images/404.png" alt="Not found" />
     <h1>Page not found.</h1>
     <a href="/">Back to front page</a>
 </div>

From e8ff3a46b2bd43376f1eb716dd302ef06efec4ca Mon Sep 17 00:00:00 2001
From: Adrien Dupuis <61695653+adriendupuis@users.noreply.github.com>
Date: Wed, 26 Jun 2024 15:46:39 +0200
Subject: [PATCH 2/2] 404: Fix PR URLs on readthedocs.build domain

---
 theme/404.html | 32 +++++++++++++++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/theme/404.html b/theme/404.html
index 66f78d8714..246d312790 100644
--- a/theme/404.html
+++ b/theme/404.html
@@ -2,8 +2,38 @@
 
 {% block content %}
 <div class="page-not-found">
-    <img src="{{ base_url }}/images/404.png" alt="Not found" />
+    <img src="{{ base_url }}{% if base_url|last != '/' %}/{% endif %}images/404.png" alt="Not found" />
     <h1>Page not found.</h1>
     <a href="/">Back to front page</a>
 </div>
 {% endblock %}
+
+{% block scripts %}
+{{ super() }}
+<script>
+    if (location.host.endsWith('.readthedocs.build')) {
+        let basePart = '/en/latest/';
+        let readthedocsPart = location.pathname.split('/').slice(0, 3).join('/')+'/';
+        let urlElements = document.querySelectorAll('[href*="/en/latest/"], [src*="/en/latest/"]');
+        let head = document.getElementsByTagName('head')[0];
+        for (let urlElement of urlElements) {
+            switch (urlElement.tagName.toLowerCase()) {
+                case 'script':
+                    let script = document.createElement('script');
+                    script.setAttribute('src', urlElement.getAttribute('src').replace(basePart, readthedocsPart));
+                    head.appendChild(script);
+                    console.log(script);
+                    break;
+                default:
+                    let attributeName, attributeValue;
+                    for (attributeName of ['href', 'src']) {
+                        if (null !== (attributeValue = urlElement.getAttribute(attributeName))) {
+                            break;
+                        }
+                    }
+                    urlElement.setAttribute(attributeName, attributeValue.replace(basePart, readthedocsPart));
+            }
+        }
+    }
+</script>
+{% endblock %}