Hugging Face theme.

2019-07-08 16:05:26 -04:00
parent a60ae1a505
commit ab30651802
13 changed files with 252 additions and 25 deletions
--- a/docs/source/_static/js/custom.js
+++ b/docs/source/_static/js/custom.js
@@ -0,0 +1,18 @@
+function addIcon() {
+    const huggingFaceLogo = "http://lysand.re/huggingface_logo.svg";
+    const image = document.createElement("img");
+    image.setAttribute("src", huggingFaceLogo)
+
+
+    const div = document.createElement("div")
+    div.appendChild(image);
+    div.style.textAlign = 'center';
+    div.style.paddingTop = '30px';
+    div.style.backgroundColor = '#6670FF'
+
+    const scrollDiv = document.getElementsByClassName("wy-side-scroll")[0];
+    scrollDiv.prepend(div)
+}
+
+window.addEventListener("load", addIcon)
+