Squashed 'third_party/pico-sdk/' content from commit 2062372d2

Change-Id: Ic20f199d3ed0ea8d3a6a1bbf513f875ec7500cc6
git-subtree-dir: third_party/pico-sdk
git-subtree-split: 2062372d203b372849d573f252cf7c6dc2800c0a
Signed-off-by: Austin Schuh <austin.linux@gmail.com>
diff --git a/docs/main.js b/docs/main.js
new file mode 100644
index 0000000..e732e8f
--- /dev/null
+++ b/docs/main.js
@@ -0,0 +1,17 @@
+$(document).ready(function() {
+
+    // Trigger the mobile navigation
+    $(document).on('click', '.navigation-toggle', function (event) {
+        event.preventDefault();
+        $(this).toggleClass('clicked');
+        $('#top').toggleClass('open');
+    });
+
+    // Add a class to all <li>'s with children
+    $('#main-nav ul li > ul').parent().addClass('hasChildren');
+    $('#main-nav .has-submenu').removeClass('has-submenu');
+    $('#main-nav .sm').removeClass('sm');
+    $('#main-nav .sm-dox').removeClass('sm-dox');
+    $('#main-nav #main-menu').removeAttr('data-smartmenus-id');
+    $('#main-nav #main-menu').removeAttr('id');
+});