Merge pull request #385 from gerrod3/add-survey

Add survey banner

Author: gerrod3

docs/_static/survey_banner.js

@@ -0,0 +1,9 @@
+window.onload = function() {
+    var elem = document.createElement('div');
+    var body = document.getElementsByClassName("rst-content")[0]
+    var doc = document.getElementsByClassName("document")[0]
+    elem.className = "admonition important"
+    elem.id = "pulp-survey-banner"
+    elem.innerHTML = "<p>Please take our <a href=\"https://forms.gle/C3QwT9SVncXETipu9\">survey</a> to help us improve Pulp!</p>";
+    body.insertBefore(elem, doc)
+}

docs/conf.py

@@ -147,6 +147,7 @@
 
 html_static_path = ['_static']
 
+html_js_files = ['survey_banner.js']
 
 # If false, no module index is generated.
 #html_domain_indices = True