diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:26:48 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:56:47 +0200 |
commit | b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de (patch) | |
tree | ff66f39ca7cfadbf997a04f242ea0abba35b4811 /site/cleopatra/coq.org | |
parent | Benefit from cleopatra org-related functions to export org files (diff) |
Various fixes here and there
Diffstat (limited to 'site/cleopatra/coq.org')
-rw-r--r-- | site/cleopatra/coq.org | 5 |
1 files changed, 5 insertions, 0 deletions
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 |