diff options
Diffstat (limited to 'site/cleopatra')
| -rw-r--r-- | site/cleopatra/coq.org | 2 | ||||
| -rw-r--r-- | site/cleopatra/theme.org | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 2f9a1d8..6236ae5 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -37,6 +37,8 @@ COQDOCARG := --no-index --charset utf8 --short \ #+BEGIN_SRC sass :tangle site/style/coq.sass div.code + padding-left : 1.5rem + padding-left : 1.5rem white-space: nowrap line-height : 140% diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org index 467b8b1..f6b5fe7 100644 --- a/site/cleopatra/theme.org +++ b/site/cleopatra/theme.org @@ -111,7 +111,7 @@ noscript.parentNode.removeChild(noscript); First, we introduce a set of variables. #+BEGIN_SRC sass :tangle site/style/main.sass -$content-width : 35rem +$content-width : 30rem $large-side-margin : 7rem $small-side-margin : 2rem #+END_SRC @@ -207,6 +207,8 @@ footer img margin-bottom : 1rem pre + padding-left : 1.5rem + padding-right : 1.5rem overflow-x : auto code, |