Fix tab activation per OS

This commit is contained in:
Hugo van Kemenade 2024-03-06 17:42:01 +02:00
parent e9f8295950
commit 6eb6b52a68
2 changed files with 16 additions and 0 deletions

View File

@ -1,3 +1,11 @@
.. raw:: html
<script>
document.addEventListener('DOMContentLoaded', function() {
activateTab(getOS());
});
</script>
.. _basic-installation:
Basic Installation

View File

@ -1,3 +1,11 @@
.. raw:: html
<script>
document.addEventListener('DOMContentLoaded', function() {
activateTab(getOS());
});
</script>
.. _Building on Linux:
.. _Building on macOS:
.. _Building on Windows: