diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 23:26:05 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 23:26:05 +0100 |
| commit | 9a0fef2277153960ce9ed6b2dea3a37c91bfc27d (patch) | |
| tree | bae585e73548ef95c29a11327a4e12527ce45449 /site/cleopatra/Contents/Coq.org | |
| parent | Introduce a convenient Org syntax for inline maths (diff) | |
More theme tweaking
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 |