Adaptation de Coqdoc au nouveau add_glob

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8861 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 17 insertions, 9 deletions

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index b59438e50..3900987e0 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -28,16 +28,21 @@ body { padding: 0px 0px;
 
 #main  a.idref:visited {color : #416DFF; text-decoration : none; }
 #main  a.idref:link {color : #416DFF; text-decoration : none; }
-#main  a.idref:hover {color : Red; text-decoration : underline; }
-#main  a.idref:active {color : Red; text-decoration : underline; }
+#main  a.idref:hover {text-decoration : none; }
+#main  a.idref:active {text-decoration : none; }
 
-#main .keyword { font-weight : bold; 
-                 color : Red }
+#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 .section { font-size : 20pt }
+#main .keyword { color : #cf1d1d }
+#main { color: black }
+
+#main .section { background-color:#899BD6;
+                 font-size : 20pt }
 
 #main code { font-family: monospace; 
-             font-size: 8pt; 
              line-height: 50% }
 
 #main .doc { margin: 0px;
@@ -45,10 +50,11 @@ body { padding: 0px 0px;
              font-family: sans-serif;
              font-size: 11pt;
              font-weight:bold;
-             background-color:#66ff66 }
+             color: black;
+             background-color: #90bdff;
+             border-style: plain}
 
-#main .doc code { font-family: monospace; 
-                  font-size: 10pt} 
+#main .doc code { font-family: monospace} 
 
 /* Pied de page */
 
@@ -56,4 +62,6 @@ body { padding: 0px 0px;
           font-family: sans-serif; }
 
 #footer a:visited { color: blue; }
+#footer a:link { text-decoration: none; 
+                 color: #888888; }