From 6c8e44650d92b218228108ef962dc4eb95ae02a2 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Thu, 26 Jul 2018 07:42:08 +0200
Subject: [PATCH] Put underlines on links in the docs

Closes #5508
---
 doc/docs.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/docs.css b/doc/docs.css
index 881d2aa455..17b9212416 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -35,7 +35,6 @@ article > h2:first-child, section:first-child > h2 { margin-top: 0; }
 
 a, a:visited, a:link, .quasilink {
   color: #A21313;
-  text-decoration: none;
 }
 
 em {
@@ -90,6 +89,10 @@ article {
   margin-bottom: 32px;
 }
 
+#nav a {
+  text-decoration: none;
+}
+
 #nav li {
   display: block;
   margin-bottom: 4px;