From e62611f5581a91b5e10414bfb3777f8ce1aa288b Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Wed, 23 Sep 2020 20:07:43 +0200 Subject: Small CSS tweaks --- site/cleopatra/coq.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'site/cleopatra/coq.org') diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 824f3f5..2f66ebe 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -43,7 +43,7 @@ div.doc /* dirty patch to get the code in full page width */ pre - width : calc(100vw - 2*2rem) + width : calc(100vw - 2*5rem) .paragraph margin-bottom : .8em -- cgit v1.2.3