diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-28 22:14:37 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-28 22:14:37 +0200 |
| commit | f5c04971fa2f64b467c4f0de176b9251848378a9 (patch) | |
| tree | b5b9cb79654c8bac7d0f04832dcb8547f20bab6f /site | |
| parent | Heavy reworking of the Ltac series (diff) | |
Minor theme tweakings
Diffstat (limited to 'site')
| -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 |