diff --git a/docs/conf.py b/docs/conf.py
index c342fded9..833dfa215 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -166,6 +166,8 @@ html_static_path = ["resources"]
 # directly to the root of the documentation.
 # html_extra_path = []
 
+html_css_files = ["css/dark.css"]
+
 html_js_files = [
     "js/activate_tab.js",
 ]
@@ -317,10 +319,6 @@ texinfo_documents = [
 # texinfo_no_detailmenu = False
 
 
-def setup(app):
-    app.add_css_file("css/dark.css")
-
-
 linkcheck_allowed_redirects = {
     r"https://www.bestpractices.dev/projects/6331": r"https://www.bestpractices.dev/en/.*",
     r"https://badges.gitter.im/python-pillow/Pillow.svg": r"https://badges.gitter.im/repo.svg",
diff --git a/docs/resources/js/activate_tab.js b/docs/resources/js/activate_tab.js
index c31c788b8..92522b5ce 100644
--- a/docs/resources/js/activate_tab.js
+++ b/docs/resources/js/activate_tab.js
@@ -1,16 +1,12 @@
 // Based on https://stackoverflow.com/a/38241481/724176
 function getOS() {
   const userAgent = window.navigator.userAgent,
-    platform =
-      window.navigator?.userAgentData?.platform || window.navigator.platform,
+    platform = window.navigator.userAgentData?.platform || window.navigator.platform,
     macosPlatforms = ["macOS", "Macintosh", "MacIntel", "MacPPC", "Mac68K"],
-    windowsPlatforms = ["Win32", "Win64", "Windows", "WinCE"],
-    iosPlatforms = ["iPhone", "iPad", "iPod"];
+    windowsPlatforms = ["Win32", "Win64", "Windows", "WinCE"];
 
   if (macosPlatforms.includes(platform)) {
     return "macOS";
-  } else if (iosPlatforms.includes(platform)) {
-    return "iOS";
   } else if (windowsPlatforms.includes(platform)) {
     return "Windows";
   } else if (/Android/.test(userAgent)) {
@@ -18,17 +14,15 @@ function getOS() {
   } else if (/Linux/.test(platform)) {
     return "Linux";
   }
-
-  return "unknown";
 }
 
 function activateTab(tabName) {
-  // Find all label elements containing the specified tab name
+  // Find all label elements with the specified tab name
   const labels = document.querySelectorAll(".tab-label");
 
   labels.forEach((label) => {
     if (label.textContent == tabName) {
-      // Find the associated input element using the 'for' attribute
+      // Find the associated input element using the "for" attribute
       const tabInputId = label.getAttribute("for");
       const tabInput = document.getElementById(tabInputId);