From 512e590a230ac6f77bef99bcd86838fcbf107550 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Thu, 27 Feb 2020 21:39:47 +0100 Subject: Use monokai-pro as the main theme and fix the CSS of Coq files --- site/cleopatra/Contents/Org.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'site/cleopatra/Contents/Org.org') 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 -- cgit v1.2.3