From 0f9ba9fe034ab3e55fd7e7fe6a7991dbb45d55ab Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 16 Jan 2021 18:03:26 +0100
Subject: Tweak margins

---
 site/cleopatra/coq.org   | 2 ++
 site/cleopatra/theme.org | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)

(limited to 'site/cleopatra')

diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org
index 2f9a1d8..6236ae5 100644
--- a/site/cleopatra/coq.org
+++ b/site/cleopatra/coq.org
@@ -37,6 +37,8 @@ COQDOCARG := --no-index --charset utf8 --short \
 
 #+BEGIN_SRC sass :tangle site/style/coq.sass
 div.code
+    padding-left : 1.5rem
+    padding-left : 1.5rem
     white-space: nowrap
     line-height : 140%
 
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index 467b8b1..f6b5fe7 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -111,7 +111,7 @@ noscript.parentNode.removeChild(noscript);
 First, we introduce a set of variables.
 
 #+BEGIN_SRC sass :tangle site/style/main.sass
-$content-width : 35rem
+$content-width : 30rem
 $large-side-margin : 7rem
 $small-side-margin : 2rem
 #+END_SRC
@@ -207,6 +207,8 @@ footer img
     margin-bottom : 1rem
 
 pre
+    padding-left : 1.5rem
+    padding-right : 1.5rem
     overflow-x : auto
 
 code,
-- 
cgit v1.2.3