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/cleopatra/coq.org | |
| parent | Let people use the font of their liking (diff) | |
Tweak margins
Diffstat (limited to 'site/cleopatra/coq.org')
| -rw-r--r-- | site/cleopatra/coq.org | 2 |
1 files changed, 2 insertions, 0 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% |