Docs fixes (#2446)

Author: joerick

docs/options.md

@@ -1791,6 +1791,7 @@ Some options support placeholders, like `{project}`, `{package}` or `{wheel}`, t
     padding-left: 10px;
     padding-right: 10px;
     line-height: normal;
+    overflow: visible;
   }
   .rst-content h3 .badges code.cmd-line:before, .rst-content h3 .badges code.toml:before, .rst-content h3 .badges code.env-var:before {
     content: ' ';

docs/theme_overrides/js/theme.js

@@ -126,6 +126,21 @@ function ThemeNav () {
             });
             link.prepend(expand);
         });
+
+        // EDIT by joerick
+        //
+        // workaround a bug with the site in safari. safari navigates to the
+        // anchor before the above code has run, specifically wrap with
+        // .wy-table-responsive activates css rules that change the size of
+        // tables, making anchor points move around.
+        console.log('Document ready, checking for anchor in URL');
+        const anchorEl = document.querySelector(window.location.hash);
+        anchorEl.getBoundingClientRect(); // Force layout to ensure scrollIntoView works correctly
+        if (anchorEl) {
+          console.log('Anchor element:', anchorEl);
+          anchorEl.scrollIntoView({ behavior: 'instant', block: 'start' });
+        }
+        // end edit by joerick
     };
 
     nav.reset = function () {

mkdocs.yml

@@ -27,9 +27,9 @@ nav:
     - faq.md
     - cpp_standards.md
   - Reference:
-    - platforms.md
-    - configuration.md
     - options.md
+    - configuration.md
+    - platforms.md
     - working-examples.md
   - About:
     - contributing.md