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/org.org | |
parent | Tweak margins (diff) |
No more syntax highlighting
Diffstat (limited to 'site/cleopatra/org.org')
-rw-r--r-- | site/cleopatra/org.org | 4 |
1 files changed, 1 insertions, 3 deletions
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 |