From 512e590a230ac6f77bef99bcd86838fcbf107550 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
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/Coq.org | 48 +++++++++++++++++++++++++++++++++++++----
 site/cleopatra/Contents/Org.org |  4 ++--
 site/cleopatra/Theme.org        | 14 ++++++++----
 3 files changed, 56 insertions(+), 10 deletions(-)

(limited to 'site/cleopatra')

diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org
index 937467e..5e22fb0 100644
--- a/site/cleopatra/Contents/Coq.org
+++ b/site/cleopatra/Contents/Coq.org
@@ -28,6 +28,16 @@ COQDOCARG := --no-index --charset utf8 --short \
 #+END_SRC
 
 #+BEGIN_SRC sass :tangle site/style/coq.sass
+@mixin patchy-centered($inc: 0rem)
+    width : 100vw
+    position: relative
+    @media screen and (min-width : $document-width)
+        padding-left : calc(50vw - #{$document-width} / 2)
+        right : calc(50vw - #{$document-width} / 2)
+    @media screen and (max-width : $document-width)
+        padding-left : 1rem
+        right : 1rem
+
 div.code
     white-space: nowrap
 
@@ -36,6 +46,13 @@ div.code
     margin-top : 1em
     margin-bottom : 1em
 
+    pre
+        @include patchy-centered
+        padding-top : 1rem
+        padding-bottom : 1rem
+        background : $bg-verbatim
+        overflow-x : auto
+
 .code
     @include padding-centered
     @include code-block
@@ -47,15 +64,38 @@ h1, h2, h3, h4, h5, h6
     .inlinecode
         font-size: 100%
 
-.code a[href]
-    text-decoration: none
+.code
+    .id[title="keyword"]
+        color : #ff6188
+
+    .id[title="definition"],
+    .id[title="theorem"],
+    .id[title="lemma"]
+        color : #a9dc76
 
-    .url-mark
-        display: none
+    .id[title="inductive"],
+    .id[title="record"],
+    .id[title="axiom"],
+    .id[title="class"]
+        color : #78dce8
+
+    .id[title="constructor"]
+        color : #ab9df2
+
+    a[href]
+        color : inherit
+        text-decoration : none
+        background : #403e41
+        padding : .05rem .15rem .05rem .15rem
+        border-radius : 15%
+
+        .url-mark
+            display: none
 
 .paragraph
     margin-top: 1em
     margin-bottom: 1em
+
 #+END_SRC
 
 # Local Variables:
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
diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org
index 222ac36..49c51c6 100644
--- a/site/cleopatra/Theme.org
+++ b/site/cleopatra/Theme.org
@@ -112,8 +112,9 @@ noscript.parentNode.removeChild(noscript);
 * Main SASS File
 
 #+BEGIN_SRC sass :tangle site/style/main.sass
-$bg-color: #1B1D1E
-$code-fg-color: #F8F8F2
+$bg-color: #2d2a2e
+$bg-verbatim : #f4f4f4
+$code-fg-color: #fcfcfa
 $text-fg-color: #505050
 $primary-color: black
 $todo-bg: #e4d3b3
@@ -151,8 +152,10 @@ $document-width : 33rem
 @mixin code-block
     @include padding-centered
     @include code-font
-    background: $bg-color
-    color: $code-fg-color
+    background : $bg-color
+    color : $code-fg-color
+    overflow-x : auto
+    scrollbar-width : thin
 
 *
   box-sizing: border-box
@@ -165,6 +168,9 @@ html, body
     font-size : 120%
     @include text-font
 
+body
+    overflow-x : hidden
+
 code, tt
     @include code-font
 
-- 
cgit v1.2.3