Fix documentation typos.

PiperOrigin-RevId: 720232771 Change-Id: I176db4d4168c37b2819df14b439c4cde838e2025
2025-01-27 10:57:06 -08:00
parent 9605990648
commit 8c22181156
14 changed files with 59 additions and 56 deletions
@@ -11,10 +11,10 @@
   #}
  <script>
    document.addEventListener('DOMContentLoaded', (event) => {
-        let home_link = document.querySelector('a.icon');
+        let homeLink = document.querySelector('a.icon');
        {# Be extra safe and don't break the page if theme changes and querySelector can't match. #}
-        if (home_link) {
-          home_link.href="https://mujoco.org";
+        if (homeLink) {
+          homeLink.href="https://mujoco.org";
        }
    });
  </script>