diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-09-23 20:07:43 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-09-23 20:07:43 +0200 |
commit | e62611f5581a91b5e10414bfb3777f8ce1aa288b (patch) | |
tree | 1d218249b4b63cb2d22e2f1956a8fd2c33e4fb9c /site/cleopatra/coq.org | |
parent | Add a permalink to my Coq posts (diff) |
Small CSS tweaks
Diffstat (limited to 'site/cleopatra/coq.org')
-rw-r--r-- | site/cleopatra/coq.org | 2 |
1 files changed, 1 insertions, 1 deletions
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 |