From f5c04971fa2f64b467c4f0de176b9251848378a9 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Fri, 28 Aug 2020 22:14:37 +0200 Subject: Minor theme tweakings --- site/cleopatra/coq.org | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'site/cleopatra/coq.org') 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 -- cgit v1.2.3