diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:39:47 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:39:47 +0100 |
| commit | 512e590a230ac6f77bef99bcd86838fcbf107550 (patch) | |
| tree | 68e02218bb8fbbb5401b768bd3fe4ab0e8fa1d4a /site/cleopatra/Contents/Org.org | |
| parent | Tweak the theme to be more responsive (diff) | |
Use monokai-pro as the main theme and fix the CSS of Coq files
Diffstat (limited to 'site/cleopatra/Contents/Org.org')
| -rw-r--r-- | site/cleopatra/Contents/Org.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org index c3d45fa..0211091 100644 --- a/site/cleopatra/Contents/Org.org +++ b/site/cleopatra/Contents/Org.org @@ -36,9 +36,9 @@ (use-package haskell-mode :ensure t :defer t) (use-package toml-mode :ensure t :defer t) (use-package json-mode :ensure t :defer t) -(use-package soft-stone-theme :ensure t :defer t +(use-package monokai-pro-theme :ensure t :defer t :init - (load-theme 'soft-stone t)) + (load-theme 'monokai-pro t)) (provide 'packages) #+END_SRC |