embedded docs/wiki search

Signed-off-by: Vladimir Mandic <mandic00@live.com>

javascript/docs.js

@@ -0,0 +1,24 @@
+let lastGitHubSearch = '';
+let lastDocsSearch = '';
+
+async function clickGitHubWikiPage(page) {
+  log(`clickGitHubWikiPage: page="${page}"`);
+  lastGitHubSearch = page;
+  const el = gradioApp().getElementById('github_md_btn');
+  if (el) el.click();
+}
+
+function getGitHubWikiPage() {
+  return lastGitHubSearch;
+}
+
+async function clickDocsPage(page) {
+  log(`clickDocsPage: page="${page}"`);
+  lastDocsSearch = page;
+  const el = gradioApp().getElementById('docs_md_btn');
+  if (el) el.click();
+}
+
+function getDocsPage() {
+  return lastDocsSearch;
+}