Fixed #353 -- added permalinks to Sphinx documentation.

Author: mboersma

docs/conf.py

@@ -147,7 +147,7 @@
 # typographically correct entities.
 html_use_smartypants = True
 
-html_add_permalinks = None
+html_add_permalinks = True
 
 # Custom sidebar templates, maps document names to template names.
 #html_sidebars = {}

docs/theme/deis/layout.html

@@ -28,6 +28,7 @@
     <link rel="stylesheet" href="{{ pathto('_static/css/bootstrap.min.css', 1) }}" type="text/css">
     <link rel="stylesheet" href="{{ pathto('_static/css/bootstrap-responsive.min.css', 1) }}" type="text/css">
     <link rel="stylesheet" href="{{ pathto('_static/css/main.css', 1) }}" type="text/css">
+    <link rel="stylesheet" href="{{ pathto('_static/css/deis-docs.css', 1) }}" type="text/css">
     <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css">
     <link rel="shortcut icon" href="{{ pathto('_static/favicon.ico', 1) }}">
     <script

web/static/css/deis-docs.css

@@ -0,0 +1,16 @@
+
+a.headerlink {
+  visibility: hidden;
+	margin-left: 8px;
+	vertical-align: middle;
+}
+
+h1:hover > a.headerlink,
+h2:hover > a.headerlink,
+h3:hover > a.headerlink,
+h4:hover > a.headerlink,
+h5:hover > a.headerlink,
+h6:hover > a.headerlink,
+dt:hover > a.headerlink {
+  visibility: visible;
+}