From 1e9ac81fce2233a05b5521b54916d4b50f5b8657 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 24 Jan 2021 09:58:35 +0100
Subject: No more syntax highlighting

---
 site/cleopatra/coq.org   | 19 +------------------
 site/cleopatra/org.org   |  4 +---
 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
-- 
cgit v1.2.3