1 files changed, 0 insertions, 5 deletions
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;