1 files changed, 116 insertions, 13 deletions

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index 762be5af..24b514b7 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -19,14 +19,16 @@ body { padding: 0px 0px;
              margin: 0;}
 
 
-/* Contenu */
+/* Contents */
 
 #main{ display: block;
        padding: 10px;
-       overflow: hidden;
+       font-family: sans-serif;
        font-size: 100%;
        line-height: 100% }
 
+#main  h1 { line-height: 95% } /* allow for multi-line headers */
+
 #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; }
@@ -40,41 +42,93 @@ body { padding: 0px 0px;
 #main .keyword { color : #cf1d1d }
 #main { color: black }
 
-#main .section { background-color:#90bdff;
-                 font-size : 175% }
+.section { background-color: rgb(60%,60%,100%);
+           padding-top: 13px; 
+           padding-bottom: 13px; 
+           padding-left: 3px; 
+           margin-top: 5px;
+           margin-bottom: 5px;
+           font-size : 175% }
+
+h2.section { background-color: rgb(80%,80%,100%);
+             padding-left: 3px; 
+             padding-top: 12px; 
+             padding-bottom: 10px; 
+             font-size : 130% }
+
+h3.section { background-color: rgb(90%,90%,100%);
+             padding-left: 3px; 
+             padding-top: 7px; 
+             padding-bottom: 7px; 
+             font-size : 115% }
+
+h4.section { 
+/*
+                   background-color: rgb(80%,80%,80%);
+                   max-width: 20em;
+                   padding-left: 5px; 
+                   padding-top: 5px; 
+                   padding-bottom: 5px; 
+*/
+                   background-color: white;
+                   padding-left: 0px; 
+                   padding-top: 0px; 
+                   padding-bottom: 0px; 
+                   font-size : 100%;
+                   font-style : bold;
+                   text-decoration : underline;
+ }
 
 #main .doc { margin: 0px;
-             padding: 10px;
              font-family: sans-serif;
              font-size: 100%;
-	     line-height: 100%;
-             font-weight:bold;
+	     line-height: 125%;
+             max-width: 40em;
              color: black;
+	     padding: 10px;
              background-color: #90bdff;
              border-style: plain}
 
 .inlinecode { 
     display: inline;
+/*    font-size: 125%; */
+    color: #666666;
+    font-family: monospace } 
+
+.doc .inlinecode { 
+    display: inline;
+    font-size: 120%; 
+    color: rgb(30%,30%,70%);
+    font-family: monospace } 
+
+.doc .inlinecode .id {
+    color: rgb(30%,30%,70%);
+}
+
+.doc .code { 
+    display: inline;
+    font-size: 120%; 
+    color: rgb(30%,30%,70%); 
     font-family: monospace } 
 
 .comment { 
     display: inline;
     font-family: monospace;
-    color: red; } 
+    color: rgb(50%,50%,80%); 
+} 
 
 .code { 
     display: block;
-    font-family: monospace } 
+/*  padding-left: 15px; */
+    font-size: 110%; 
+    font-family: monospace;
+ } 
 
 /* Pied de page */
 
 #footer { font-size: 65%;
           font-family: sans-serif; }
 
-#footer a:visited { color: blue; }
-#footer a:link { text-decoration: none; 
-                 color: #888888; }
-
 .id { display: inline; }
 
 .id[type="constructor"] { 
@@ -129,3 +183,52 @@ body { padding: 0px 0px;
  color : #cf1d1d;
 /*     color: black; */
 }
+
+.inlinecode .id {
+    color: rgb(0%,0%,0%);
+}
+
+
+/* TOC */
+
+#toc h2 {
+    padding: 10px;
+    background-color: rgb(60%,60%,100%);
+}
+
+#toc li {
+    padding-bottom: 8px;
+}
+
+/* Index */
+
+#index {
+    margin: 0;
+    padding: 0;
+    width: 100%;
+}
+
+#index #frontispiece {
+    margin: 1em auto;
+    padding: 1em;
+    width: 60%;
+}
+
+.booktitle { font-size : 140%  }
+.authors { font-size : 90%;
+	         line-height: 115%;  }
+.moreauthors { font-size : 60%  }
+
+#index #entrance {
+    text-align: center;
+}
+
+#index #entrance .spacer {
+    margin: 0 30px 0 30px;
+}
+
+#index #footer {
+    position: absolute;
+    bottom: 0;
+    text-align: bottom;
+}
\ No newline at end of file