diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 09:22:57 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 09:27:50 +0100 |
| commit | 1a9268f141ac4234b2836d0207b1e87009821dd7 (patch) | |
| tree | 849a707022a09fb5e62c25eb6931ccc5af876c2a /site/cleopatra/Contents/Coq.org | |
| parent | Make a generation process prebuild depends on its tangled file (diff) | |
Theme reloading
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index a792ef9..937467e 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -30,13 +30,22 @@ COQDOCARG := --no-index --charset utf8 --short \ #+BEGIN_SRC sass :tangle site/style/coq.sass div.code white-space: nowrap - overflow-x: auto - scrollbar-width: thin -pre - padding: .3em 0 .3em 0 - overflow-x: auto - scrollbar-width: thin +.doc + @include padding-centered + margin-top : 1em + margin-bottom : 1em + +.code + @include padding-centered + @include code-block + +.inlinecode + @include code-font + +h1, h2, h3, h4, h5, h6 + .inlinecode + font-size: 100% .code a[href] text-decoration: none |