diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-01-16 18:03:26 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-01-16 18:03:26 +0100 |
| commit | 0f9ba9fe034ab3e55fd7e7fe6a7991dbb45d55ab (patch) | |
| tree | efa279405f109e56781ba4b3d7aa3db3dfb05b2c /site | |
| parent | Let people use the font of their liking (diff) | |
Tweak margins
Diffstat (limited to 'site')
| -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, |