From 6eb6b52a68992720db3c605f33fa27ac9fce19fd Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Wed, 6 Mar 2024 17:42:01 +0200
Subject: [PATCH] Fix tab activation per OS

---
 docs/installation/basic-installation.rst   | 8 ++++++++
 docs/installation/building-from-source.rst | 8 ++++++++
 2 files changed, 16 insertions(+)

diff --git a/docs/installation/basic-installation.rst b/docs/installation/basic-installation.rst
index 04d9aca02..c2f889f0e 100644
--- a/docs/installation/basic-installation.rst
+++ b/docs/installation/basic-installation.rst
@@ -1,3 +1,11 @@
+.. raw:: html
+
+    <script>
+    document.addEventListener('DOMContentLoaded', function() {
+      activateTab(getOS());
+    });
+    </script>
+
 .. _basic-installation:
 
 Basic Installation
diff --git a/docs/installation/building-from-source.rst b/docs/installation/building-from-source.rst
index 6b24eeffa..05e657272 100644
--- a/docs/installation/building-from-source.rst
+++ b/docs/installation/building-from-source.rst
@@ -1,3 +1,11 @@
+.. raw:: html
+
+    <script>
+    document.addEventListener('DOMContentLoaded', function() {
+      activateTab(getOS());
+    });
+    </script>
+
 .. _Building on Linux:
 .. _Building on macOS:
 .. _Building on Windows: