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/Theme.org | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

(limited to 'site/cleopatra/Theme.org')

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