diff options
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index 5e22fb0..893efab 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -69,6 +69,7 @@ h1, h2, h3, h4, h5, h6 color : #ff6188 .id[title="definition"], + .id[title="projection"], .id[title="theorem"], .id[title="lemma"] color : #a9dc76 |