summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--site/cleopatra/coq.org2
-rw-r--r--site/cleopatra/theme.org4
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