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 | |
| parent | Tweak margins (diff) | |
No more syntax highlighting
| -rw-r--r-- | site/cleopatra/coq.org | 19 | ||||
| -rw-r--r-- | site/cleopatra/org.org | 4 | ||||
| -rw-r--r-- | site/cleopatra/theme.org | 2 |
3 files changed, 4 insertions, 21 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 diff --git a/site/cleopatra/org.org b/site/cleopatra/org.org index c14ebd5..acfd432 100644 --- a/site/cleopatra/org.org +++ b/site/cleopatra/org.org @@ -11,9 +11,6 @@ (use-package json-mode :ensure t :defer t) (use-package proof-general :ensure t :defer t) (use-package tuareg :ensure t :defer t) -(use-package github-modern-theme :ensure t :defer t - :init - (load-theme 'github-modern t)) #+END_SRC #+BEGIN_SRC emacs-lisp :tangle scripts/export-org.el @@ -27,6 +24,7 @@ '((shell . t) (dot . t))) +(setq org-html-htmlize-output-type nil) (setq org-export-with-toc nil) (add-to-list 'org-entities-user diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org index f6b5fe7..dce9520 100644 --- a/site/cleopatra/theme.org +++ b/site/cleopatra/theme.org @@ -114,6 +114,7 @@ First, we introduce a set of variables. $content-width : 30rem $large-side-margin : 7rem $small-side-margin : 2rem +$monospace-color : #FF006D #+END_SRC Then, we introduce a key CSS variable whose definition will change according to @@ -217,6 +218,7 @@ pre font-family : 'Fira Code', monospace font-size : 80% line-height : 140% + color : $monospace-color #gallery display : flex |