diff options
author | Stephane Glondu <steph@glondu.net> | 2009-07-04 13:28:35 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-07-04 13:28:35 +0200 |
commit | e4282ea99c664d8d58067bee199cbbcf881b60d5 (patch) | |
tree | d4c4a873eb055c728666f367469fa26c3417793a /tools/coqdoc/coqdoc.css | |
parent | a0a94c1340a63cdb824507b973393882666ba52a (diff) |
Imported Upstream version 8.2.pl1+dfsgupstream/8.2.pl1+dfsg
Diffstat (limited to 'tools/coqdoc/coqdoc.css')
-rw-r--r-- | tools/coqdoc/coqdoc.css | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css index a9a99706..762be5af 100644 --- a/tools/coqdoc/coqdoc.css +++ b/tools/coqdoc/coqdoc.css @@ -57,6 +57,11 @@ body { padding: 0px 0px; display: inline; font-family: monospace } +.comment { + display: inline; + font-family: monospace; + color: red; } + .code { display: block; font-family: monospace } @@ -80,18 +85,46 @@ body { padding: 0px 0px; color: rgb(40%,0%,40%); } +.id[type="variable"] { + color: rgb(40%,0%,40%); +} + .id[type="definition"] { color: rgb(0%,40%,0%); } +.id[type="abbreviation"] { + color: rgb(0%,40%,0%); +} + .id[type="lemma"] { color: rgb(0%,40%,0%); } +.id[type="instance"] { + color: rgb(0%,40%,0%); +} + +.id[type="projection"] { + color: rgb(0%,40%,0%); +} + +.id[type="method"] { + color: rgb(0%,40%,0%); +} + .id[type="inductive"] { color: rgb(0%,0%,80%); } +.id[type="record"] { + color: rgb(0%,0%,80%); +} + +.id[type="class"] { + color: rgb(0%,0%,80%); +} + .id[type="keyword"] { color : #cf1d1d; /* color: black; */ |