Doc - Quick js/css update + remove sphinx_tabs deps

docs/source/_static/css/huggingface.css

@@ -2,6 +2,10 @@
 
 /* Version control */
 
+.selectors {
+    margin-bottom: 10px;
+}
+
 .dropdown-button {
     display: inline-block;
     width: 50%;

docs/source/_static/js/custom.js

@@ -49,7 +49,7 @@ function addCustomFooter() {
     const questionOrIssue = document.createElement("div");
     questionOrIssue.innerHTML =
         "Stuck? Read our <a href='https://medium.com/huggingface'>Blog posts</a>" +
-        "or <a href='https://github.com/huggingface/tokenizers'>Create an issue</a>";
+        " or <a href='https://github.com/huggingface/tokenizers'>Create an issue</a>";
     customFooter.appendChild(questionOrIssue);
     customFooter.classList.add("footer");
 
@@ -199,6 +199,7 @@ function addVersionControl() {
 
     // Container
     const div = document.createElement("div");
+    div.classList.add("selectors");
     div.appendChild(buttonContainer);
     div.appendChild(languageMenu);
     div.appendChild(versionMenu);

docs/source/conf.py

@@ -30,9 +30,7 @@ release = "0.9.0"
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
-extensions = [
-    "sphinx_tabs.tabs",
-]
+extensions = []
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ["_templates"]