diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-08-28 22:14:37 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-08-28 22:14:37 +0200 |
commit | f5c04971fa2f64b467c4f0de176b9251848378a9 (patch) | |
tree | b5b9cb79654c8bac7d0f04832dcb8547f20bab6f /site/cleopatra/coq.org | |
parent | Heavy reworking of the Ltac series (diff) |
Minor theme tweakings
Diffstat (limited to 'site/cleopatra/coq.org')
-rw-r--r-- | site/cleopatra/coq.org | 4 |
1 files changed, 4 insertions, 0 deletions
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 |