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;