Enable permalinks in the MkDocs docs.

They were used a bit in the previous doc additions, so makes sense to
add them.

docs/css/extra.css

@@ -3,6 +3,12 @@ div.col-md-9 h1:first-of-type {
     font-size: 60px;
     font-weight: 300;
 }
+
 div.col-md-9 p:first-of-type {
     text-align: center;
 }
+
+
+div.col-md-9 h1:first-of-type .headerlink {
+    display: none;
+}

mkdocs.yml

@@ -13,5 +13,9 @@ pages:
 - ['about/release-notes.md', 'About', 'Release Notes']
 - ['about/contributing.md', 'About', 'Contributing']
 
+markdown_extensions:
+    toc:
+        permalink: ""
+
 copyright: Copyright &copy; 2014, <a href="https://twitter.com/_tomchristie">Tom Christie</a>.
 google_analytics: ['UA-27795084-5', 'mkdocs.org']

mkdocs/themes/mkdocs/css/base.css

@@ -180,3 +180,14 @@ footer {
         width: 263px;
     }
 }
+
+.headerlink {
+    font-family: FontAwesome;
+    font-size: 14px;
+    display: none;
+    padding-left: .5em;
+}
+
+h1:hover .headerlink, h2:hover .headerlink, h3:hover .headerlink, h4:hover .headerlink, h5:hover .headerlink, h6:hover .headerlink{
+    display:inline-block;
+}