From 8c128cf2e8171660877ae543e28195232e72d6d3 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 11 Mar 2018 19:43:25 +0100
Subject: [Sphinx] Remove ad-hoc color for links interfering with TOC

---
 doc/sphinx/_static/notations.css | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'doc/sphinx/_static')

diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 1ae7a7cd7f..9b7b826d58 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -158,11 +158,6 @@ dt > .property {
   color: #FFFFFF;
 }
 
-/* FIXME: Specific to the RTD theme */
-a:visited {
-    color: #2980B9;
-}
-
 /* Pygments for Coq is confused by ‘…’ */
 code span.error {
     background: inherit !important;
-- 
cgit v1.2.3