diff options
| author | Enrico Tassi | 2015-12-11 16:13:56 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-11 16:13:56 +0100 |
| commit | f943e8d62fe88b0e387f94f23e1990b996d9f8a3 (patch) | |
| tree | 6624edeaf39fe46432b8c6e198a8a103bb71569e /etc/artwork | |
| parent | 006565bdb5b473afff5f834e4b20320bb0a419fd (diff) | |
8.5 coqdoc does not want _ to be escaped + more .css classes
Diffstat (limited to 'etc/artwork')
| -rw-r--r-- | etc/artwork/coqdoc.css | 106 |
1 files changed, 101 insertions, 5 deletions
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;
+}
|