From f943e8d62fe88b0e387f94f23e1990b996d9f8a3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Dec 2015 16:13:56 +0100
Subject: 8.5 coqdoc does not want _ to be escaped + more .css classes

---
 etc/artwork/coqdoc.css    | 106 +++++++++++++++++++++++++++++++++++++++++++---
 etc/utils/builddoc_lib.sh |   4 +-
 2 files changed, 104 insertions(+), 6 deletions(-)

(limited to 'etc')

diff --git a/etc/artwork/coqdoc.css b/etc/artwork/coqdoc.css
index 49e87ce..6bd2bf5 100644
--- a/etc/artwork/coqdoc.css
+++ b/etc/artwork/coqdoc.css
@@ -1,4 +1,4 @@
-ody { padding: 0px 0px;
+body { padding: 0px 0px;
        margin: 0px 0px; 
        background-color: white }
 
@@ -103,8 +103,13 @@ h4.section {
     color: rgb(30%,30%,70%);
     font-family: monospace } 
 
-.doc .inlinecode .id {
-    color: rgb(30%,30%,70%);
+.doc .inlinecode .id { 
+    color: rgb(30%,30%,70%); 
+} 
+
+.inlinecodenm { 
+    display: inline;
+    color: #444444;
 }
 
 .doc .code { 
@@ -126,13 +131,96 @@ h4.section {
     font-family: monospace;
  } 
 
+table.infrule {
+  border: 0px;
+  margin-left: 50px;
+  margin-top: 10px;
+  margin-bottom: 10px;
+}
+
+td.infrule {
+    font-family: monospace;
+    text-align: center;
+/*    color: rgb(35%,35%,70%);  */
+    padding: 0px;
+    line-height: 100%;
+}
+
+tr.infrulemiddle hr {
+    margin: 1px 0 1px 0;
+}
+
+.infrulenamecol {
+    color: rgb(60%,60%,60%); 
+    font-size: 80%;
+    padding-left: 1em;
+    padding-bottom: 0.1em
+}
+
 /* Pied de page */
 
 #footer { font-size: 65%;
           font-family: sans-serif; }
 
+/* Identifiers: <span class="id" title="...">) */
+
 .id { display: inline; }
 
+.id[title="constructor"] {
+    color: rgb(60%,0%,0%);
+}
+
+.id[title="var"] {
+    color: rgb(40%,0%,40%);
+}
+
+.id[title="variable"] {
+    color: rgb(40%,0%,40%);
+}
+
+.id[title="definition"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="abbreviation"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="lemma"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="instance"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="projection"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="method"] {
+    color: rgb(0%,40%,0%);
+}
+
+.id[title="inductive"] {
+    color: rgb(0%,0%,80%);
+}
+
+.id[title="record"] {
+    color: rgb(0%,0%,80%);
+}
+
+.id[title="class"] {
+    color: rgb(0%,0%,80%);
+}
+
+.id[title="keyword"] {
+ color : #cf1d1d;
+/*     color: black; */
+}
+
+/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */
+
 .id[type="constructor"] { 
     color: rgb(60%,0%,0%);
 }
@@ -232,5 +320,13 @@ h4.section {
 #index #footer {
     position: absolute;
     bottom: 0;
-    text-align: bottom;
-}

+}
+
+.paragraph {
+    height: 0.75em;
+}
+
+ul.doclist {
+    margin-top: 0em;
+    margin-bottom: 0em;
+}
diff --git a/etc/utils/builddoc_lib.sh b/etc/utils/builddoc_lib.sh
index 0ab4fbd..4a8731f 100644
--- a/etc/utils/builddoc_lib.sh
+++ b/etc/utils/builddoc_lib.sh
@@ -43,7 +43,9 @@ sed -r -e '
 	/\(\*\*/,/\*\*\)/s/\$/$$/g;
 	/\(\*\*/,/\*\*\)/s/\[/#[#/g;
 	/\(\*\*/,/\*\*\)/s/]/#]#/g;
-	/\(\*\*/,/\*\*\)/s/\_/#\_#/g;
+
+	# only in 8.4
+        #	/\(\*\*/,/\*\*\)/s/\_/#\_#/g;
 
 	# the lexer glues sharp with other symbols
 	/\(\*\*/,/\*\*\)/s/([^A-Za-z0-9 ])#\[#/\1 #[#/g;
-- 
cgit v1.2.3