@@ -393,4 +393,5 @@ h5:hover > a.headerlink,
h6:hover > a.headerlink,
dt:hover > a.headerlink {
visibility: visible;
+ text-decoration:none;
}