Fix a few bugs and add a feature.

_includes/header.html

@@ -48,7 +48,7 @@
                         <i style="width: 1em" class='fa fa-lg fa-cog'></i>
                     </a>
 
-                    <ul class="dropdown-menu" aria-labelledby="gearDropdown">
+                    <ul class="dropdown-menu dropdown-menu-right" aria-labelledby="gearDropdown">
                         {% assign future_release = true %}
                         {% for rel in site.data.releases %}
 

_layouts/base.html

@@ -90,7 +90,6 @@
 
         <!-- libraries we pull in -->
         <script src="https://code.jquery.com/jquery-3.2.1.slim.min.js" integrity="sha384-KJ3o2DKtIkvYIK3UENzmM7KCkRr/rE9/Qpg6aAZGJwFDMVNA/GpGFF93hXpG5KkN" crossorigin="anonymous"></script>
-        <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js" integrity="sha384-ApNbgh9B+Y1QKtv3Rn7W3mgPxhU9K/ScQsAP7hUibX39j7fakFPskvXusvfa0b4Q" crossorigin="anonymous"></script>
         <script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/js/bootstrap.min.js" integrity="sha384-JZR6Spejh4U02d8jOt6vLEHfe/JQGiRRSQQxSfFWpi1MquVdAyjUar5+76PVCmYl" crossorigin="anonymous"></script>
         <script src="https://cdnjs.cloudflare.com/ajax/libs/clipboard.js/1.7.1/clipboard.min.js"></script>
         <script src="https://www.google.com/cse/brand?form=searchbox"></script>

_sass/base/_common.scss

@@ -291,7 +291,8 @@ h2:hover .header-link,
 h3:hover .header-link,
 h4:hover .header-link,
 h5:hover .header-link,
-h6:hover .header-link {
+h6:hover .header-link,
+dt:hover .header-link {
     transition: opacity .4s ease-in-out;
     opacity: 1;
 }

js/misc.js

@@ -116,28 +116,47 @@ function patchDOM() {
         });
     }
 
+    function attachLink(node) {
+        var i = document.createElement("i");
+        i.className = "fa fa-link";
+
+        var anchor = document.createElement("a");
+        anchor.className = "header-link";
+        anchor.href = "#" + node.id;
+        anchor.appendChild(i);
+
+        node.appendChild(anchor);
+    }
+
     // Add a link icon next to each header so people can easily get bookmarks to headers
     function attachLinksToHeaders() {
         for (var level = 1; level <= 6; level++) {
-            for (var header in document.getElementsByTagName("h" + level)) {
-                if (typeof header.id !== "undefined" && header.id !== "") {
-                    var i = document.createElement("i");
-                    i.className = "fa fa-link";
-
-                    var anchor = document.createElement("a");
-                    anchor.className = "header-link";
-                    anchor.href = "#" + header.id;
-                    anchor.appendChild(i);
-
-                    header.appendChild(anchor);
+            var headers = document.getElementsByTagName("h" + level);
+            for (var i = 0; i < headers.length; i++) {
+                var header = headers[i]
+                if (header.id !== "") {
+                    attachLink(header);
                 }
             }
         }
     }
 
+    // Add a link icon next to each define term so people can easily get bookmarks to them in the glossary
+    function attachLinksToDefinedTerms() {
+        var terms = document.getElementsByTagName("dt");
+        for (var i = 0; i < terms.length; i++) {
+            var term = terms[i]
+            if (term.id !== "") {
+                attachLink(term);
+            }
+        }
+    }
+
     // Make it so each link outside of the current domain opens up in a different window
     function makeOutsideLinksOpenInTabs() {
-        for (var link in document.getElementsByTagName("a")) {
+        var links = document.getElementsByTagName("a");
+        for (var i = 0; i < links.length; i++) {
+            var link = links[i];
             if (link.hostname && link.hostname != location.hostname) {
                 link.setAttribute("target", "_blank")
             }
@@ -163,6 +182,7 @@ function patchDOM() {
 
     attachCopyButtons();
     attachLinksToHeaders();
+    attachLinksToDefinedTerms();
     makeOutsideLinksOpenInTabs();
     loadExternalPreBlocks();
 }