Merge pull request #3993 from raspberrypi/develop

Release to production
raspberrypi · Dec 17, 2024 · 16e1070 · 16e1070
2 parents 00c6036 + c36a079
commit 16e1070
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/jekyll-assets/_includes/head.html b/jekyll-assets/_includes/head.html
@@ -24,7 +24,6 @@
 <script type="text/javascript" src="{{ site.baseurl }}/scripts/theme.js?ver={{ site.time | date: '%s' }}"></script>
 <script type="text/javascript" src="{{ site.baseurl }}/scripts/tocbot.js?ver={{ site.time | date: '%s' }}"></script>
 <script type="text/javascript" src="{{ site.baseurl }}/scripts/toc.js?ver={{ site.time | date: '%s' }}"></script>
-<script async type="text/javascript" src="{{ site.baseurl }}/scripts/asciidoctor-tabs.js?ver={{ site.time | date: '%s' }}"></script>
 <script async src="https://www.googletagmanager.com/gtag/js?id=G-V8TFXM3BKJ"></script>
 <script>
   window.dataLayer = window.dataLayer || [];

diff --git a/jekyll-assets/_layouts/docs.html b/jekyll-assets/_layouts/docs.html
@@ -268,10 +268,13 @@ <h5>On this page</h5>
 
         {% include legal.html %}
         {% include footer.html %}
-        {% include search.html %}
 
-        <script async src="{{ site.baseurl }}/scripts/clipboard.min.js?ver={{ site.time | date: '%s' }}"></script>
-        <script async src="{{ site.baseurl }}/scripts/copy-to-clipboard.js?ver={{ site.time | date: '%s' }}"></script>
+        <!-- scripts that manipulate the page, placed at the bottom so they run after the page content has already loaded !-->
+        <script async type="text/javascript" src="{{ site.baseurl }}/scripts/asciidoctor-tabs.js?ver={{ site.time | date: '%s' }}"></script>
+        <script async type="text/javascript" src="{{ site.baseurl }}/scripts/clipboard.min.js?ver={{ site.time | date: '%s' }}"></script>
+        <script async type="text/javascript" src="{{ site.baseurl }}/scripts/copy-to-clipboard.js?ver={{ site.time | date: '%s' }}"></script>
+
+        {% include search.html %}
       </div>
     </div>
   </body>