From b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 12 Jul 2020 10:26:48 +0200
Subject: Various fixes here and there

---
 site/cleopatra/coq.org | 5 +++++
 1 file changed, 5 insertions(+)

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

diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org
index a657fcf..51b0ecb 100644
--- a/site/cleopatra/coq.org
+++ b/site/cleopatra/coq.org
@@ -41,6 +41,11 @@ COQDOCARG := --no-index --charset utf8 --short \
 div.code
     white-space: nowrap
 
+.coq-text-block
+    @include patchy-centered
+    padding-top: 1rem
+    padding-bottom: 1rem
+
 .doc
     @include padding-centered
     margin-top : 1em
-- 
cgit v1.2.3