From 24951d885fbadb8f2fa96ea44a6d3b2a397eab00 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 1 Jun 2018 10:40:04 +0200
Subject: Use the standalone coq2html tool to generate the HTML documentation

coq2html is now a standalone project (https://github.com/xavierleroy/coq2html)
packaged as coq-coq2html in OPAM-Coq.
---
 doc/coqdoc.css | 62 ----------------------------------------------------------
 1 file changed, 62 deletions(-)
 delete mode 100644 doc/coqdoc.css

(limited to 'doc/coqdoc.css')

diff --git a/doc/coqdoc.css b/doc/coqdoc.css
deleted file mode 100644
index f2ae96da..00000000
--- a/doc/coqdoc.css
+++ /dev/null
@@ -1,62 +0,0 @@
-body {
-  color: black;
-  background: white;
-  margin-left: 15%;
-  margin-right: 5%;
-}
-
-#main  a.idref:visited {color : #416DFF; text-decoration : none; }
-#main  a.idref:link {color : #416DFF; text-decoration : none; }
-#main  a.idref:hover {text-decoration : none; }
-#main  a.idref:active {text-decoration : none; }
-
-#main  a.modref:visited {color : #416DFF; text-decoration : none; }
-#main  a.modref:link {color : #416DFF; text-decoration : none; }
-#main  a.modref:hover {text-decoration : none; }
-#main  a.modref:active {text-decoration : none; }
-
-#main .keyword { color : #cf1d1d }
-
-#main .doc {
-   margin-left: -5%;
-}
-
-#main span.docright {
-  position: absolute;
-  left: 60%;
-  width: 40%
-}
-
-h1.libtitle {
-  font-size: 2em;
-  margin-left: -15%;
-  margin-right: -5%;
-  text-align: center
-}
-
-h1 {
-  font-size: 1.5em;
-}
-h2 {
-  font-size: 1.17em;
-}
-
-h1, h2 {
-  font-family: sans-serif;
-}
-
-.doc code {
-  color: #008000;
-}
-
-/* Pied de page */
-
-hr { margin-left: -15%; margin-right:-5%; }
-
-#footer { font-size: 0.83em;
-          font-family: sans-serif; }
-
-#footer a:visited { color: blue; }
-#footer a:link { text-decoration: none; 
-                 color: #888888; }
-
-- 
cgit