From e8c4acf79c36ca8673cee3c93f2c23c808820ac6 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Sat, 15 Jul 2017 18:06:12 +0200
Subject: [PATCH] Remove underline on sections backlinks.

---
 documentation/_build/html/_static/css/theme.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/documentation/_build/html/_static/css/theme.css b/documentation/_build/html/_static/css/theme.css
index a53cc26a..c865f138 100644
--- a/documentation/_build/html/_static/css/theme.css
+++ b/documentation/_build/html/_static/css/theme.css
@@ -2698,6 +2698,16 @@ a {
 a:hover   { color: #3091d1; }
 a:visited { color: #9B59B6; }
 
+a.headerlink,
+a.headerlink:link,
+a.headerlink:active,
+a.headerlink:focus,
+a.headerlink:visited
+{
+  padding-left:  4pt;
+  border-bottom: none;
+}
+
 html {
   height:     100%;
   overflow-x: hidden;