backport versioned docs, take 2

Author: Massimiliano Pippi

docs/css/version-select.css

@@ -0,0 +1,5 @@
+@media only screen and (max-width:76.1875em) {
+  #version-selector {
+    padding: .6rem .8rem;
+  }
+}

docs/js/version-select.js

@@ -0,0 +1,50 @@
+window.addEventListener("DOMContentLoaded", function () {
+  // This is a bit hacky. Figure out the base URL from a known CSS file the
+  // template refers to...
+  var ex = new RegExp("/?assets/fonts/material-icons.css$");
+  var sheet = document.querySelector('link[href$="material-icons.css"]');
+
+  var REL_BASE_URL = sheet.getAttribute("href").replace(ex, "");
+  var ABS_BASE_URL = sheet.href.replace(ex, "");
+  var CURRENT_VERSION = ABS_BASE_URL.split("/").pop();
+
+  function makeSelect(options, selected) {
+    var select = document.createElement("select");
+    select.classList.add("form-control");
+
+    options.forEach(function (i) {
+      var option = new Option(i.text, i.value, undefined,
+        i.value === selected);
+      select.add(option);
+    });
+
+    return select;
+  }
+
+  var xhr = new XMLHttpRequest();
+  xhr.open("GET", ABS_BASE_URL + "/../versions.json");
+  xhr.onload = function () {
+    var versions = JSON.parse(this.responseText);
+
+    var realVersion = versions.find(function (i) {
+      return i.version === CURRENT_VERSION ||
+        i.aliases.includes(CURRENT_VERSION);
+    }).version;
+
+    var select = makeSelect(versions.map(function (i) {
+      return { text: i.title, value: i.version };
+    }), realVersion);
+    select.addEventListener("change", function (event) {
+      window.location.href = REL_BASE_URL + "/../" + this.value;
+    });
+
+    var container = document.createElement("div");
+    container.id = "version-selector";
+    container.className = "md-nav__item";
+    container.appendChild(select);
+
+    var sidebar = document.querySelector(".md-nav--primary > .md-nav__list");
+    sidebar.parentNode.insertBefore(container, sidebar);
+  };
+  xhr.send();
+});

mkdocs.yml

@@ -6,14 +6,10 @@ site_url: https://arduino.github.io/arduino-cli/
 # Repository
 repo_name: arduino/arduino-cli
 repo_url: https://github.com/arduino/arduino-cli
-edit_uri: ""
+edit_uri: ''
 
 # Copyright
-copyright: 'Copyright 2020 ARDUINO SA (http://www.arduino.cc/)'
-
-# Configuration
-site_dir: public
-edit_uri: ""
+copyright: Copyright 2020 ARDUINO SA (http://www.arduino.cc/)
 
 # Theme
 theme:
@@ -57,7 +53,7 @@ markdown_extensions:
 
 # Navigation
 nav:
-  - Documentation Home: 'index.md'
+  - Documentation Home: index.md
   - installation.md
   - getting-started.md
   - CONTRIBUTING.md
@@ -104,6 +100,13 @@ nav:
     - settings: rpc/settings.md
     - debug: rpc/debug.md
   - sketch-build-process.md
+  - sketch-specification.md
   - library-specification.md
   - platform-specification.md
   - package_index.json specification: package_index_json-specification.md
+
+extra_css:
+  - css/version-select.css
+
+extra_javascript:
+  - js/version-select.js