DOC Add permalink icons to glossary terms (scikit-learn#10429)

Author: jnothman

doc/conf.py

@@ -282,6 +282,7 @@ def make_carousel_thumbs(app, exception):
 def setup(app):
     # to hide/show the prompt in code examples:
     app.add_javascript('js/copybutton.js')
+    app.add_javascript('js/extra.js')
     app.connect('build-finished', make_carousel_thumbs)
 
 

doc/themes/scikit-learn/static/js/extra.js

@@ -0,0 +1,12 @@
+// Miscellaneous enhancements to doc display
+
+
+$(document).ready(function() {
+	/*** Add permalink buttons next to glossary terms ***/
+
+	$('dl.glossary > dt[id]').append(function() {
+		return ('<a class="headerlink" href="#' +
+			    this.getAttribute('id') +
+			    '" title="Permalink to this term">¶</a>');
+	})
+});