3 files changed, 0 insertions, 5 deletions
diff --git a/doc/sphinx/_static/coqide-queries.png b/doc/sphinx/_static/coqide-queries.png
new file mode 100644
index 0000000000..7a46ac4e68
--- /dev/null
+++ b/doc/sphinx/_static/coqide-queries.png
diff --git a/doc/sphinx/_static/coqide.png b/doc/sphinx/_static/coqide.png
new file mode 100644
index 0000000000..e300401c9f
--- /dev/null
+++ b/doc/sphinx/_static/coqide.png
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;