diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/cleopatra/coq.org | 2 | ||||
-rw-r--r-- | site/cleopatra/theme.org | 4 |
2 files changed, 3 insertions, 3 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 diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org index 7345d7b..cc3fc3e 100644 --- a/site/cleopatra/theme.org +++ b/site/cleopatra/theme.org @@ -123,7 +123,7 @@ html body font-family : 'et-book', serif - padding : 2rem + padding : 2rem 5rem main p, main h1, @@ -178,7 +178,7 @@ pre align-content : flex-start img - width : 20rem + max-width : 20rem @import plugins @import org |