diff options
-rw-r--r-- | site/cleopatra/coq.org | 4 | ||||
-rw-r--r-- | site/cleopatra/theme.org | 2 |
2 files changed, 5 insertions, 1 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 diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org index 49bbdfd..79f1921 100644 --- a/site/cleopatra/theme.org +++ b/site/cleopatra/theme.org @@ -122,7 +122,7 @@ noscript.parentNode.removeChild(noscript); html width : 100% - font-size : 100% + font-size : 110% body font-family : 'et-book', serif |