diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-10-09 22:41:16 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-10-09 22:41:16 +0200 |
commit | 597145cd5fcbf24b4debe783bd3fc39f067ac9ce (patch) | |
tree | 8de2048297c1df7d9d2b80f4e8d16a6dcca8f55e /site/cleopatra/coq.org | |
parent | coqffi has been published! (diff) |
Variablify the margin of a page
Diffstat (limited to 'site/cleopatra/coq.org')
-rw-r--r-- | site/cleopatra/coq.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 2f66ebe..d905385 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -38,12 +38,12 @@ span.inlinecode font-size : 80% div.doc - max-width : 35rem + max-width : $content-width line-height : 140% /* dirty patch to get the code in full page width */ pre - width : calc(100vw - 2*5rem) + width : calc(100vw - 2*var(--side-margin)) .paragraph margin-bottom : .8em |