diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-01-24 09:58:35 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-01-24 11:00:43 +0100 |
| commit | 1e9ac81fce2233a05b5521b54916d4b50f5b8657 (patch) | |
| tree | a8f49084fdf229f2eed7bdb6d2371d1fd8f52c0e /site/cleopatra/coq.org | |
| parent | Tweak margins (diff) | |
No more syntax highlighting
Diffstat (limited to 'site/cleopatra/coq.org')
| -rw-r--r-- | site/cleopatra/coq.org | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 6236ae5..64d1e9d 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -45,6 +45,7 @@ div.code div.code, span.inlinecode font-family : 'Fira Code', monospace + color : $monospace-color font-size : 80% overflow-x : auto @@ -62,24 +63,6 @@ div.doc #+BEGIN_SRC sass :tangle site/style/coq.sass .code - .id[title="keyword"] - color : #d73a49 - - .id[title="definition"], - .id[title="projection"], - .id[title="theorem"], - .id[title="lemma"] - color : #6f42c1 - - .id[title="inductive"], - .id[title="record"], - .id[title="axiom"], - .id[title="class"] - color : #005cc5 - - .id[title="constructor"] - color : #e36209 - a[href] color : inherit text-decoration : none |