From f5c04971fa2f64b467c4f0de176b9251848378a9 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 28 Aug 2020 22:14:37 +0200
Subject: Minor theme tweakings

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

diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org
index 7f617e8..824f3f5 100644
--- a/site/cleopatra/coq.org
+++ b/site/cleopatra/coq.org
@@ -41,6 +41,10 @@ div.doc
     max-width : 35rem
     line-height : 140%
 
+    /* dirty patch to get the code in full page width */
+    pre
+        width : calc(100vw - 2*2rem)
+
 .paragraph
     margin-bottom : .8em
 #+END_SRC
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index 49bbdfd..79f1921 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -122,7 +122,7 @@ noscript.parentNode.removeChild(noscript);
 
 html
     width : 100%
-    font-size : 100%
+    font-size : 110%
 
 body
     font-family : 'et-book', serif
-- 
cgit v1.2.3