diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:51:54 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:51:54 +0100 |
commit | 4d39fc4ca0a35dd64459a672c089d9b1b52432b9 (patch) | |
tree | 81f64941ef2c990a85ca419c1b008ceb30631aef /site/cleopatra/Contents/Org.org | |
parent | Use monokai-pro as the main theme and fix the CSS of Coq files (diff) |
Add a minimal style for the .example class used by Org for results
Diffstat (limited to 'site/cleopatra/Contents/Org.org')
-rw-r--r-- | site/cleopatra/Contents/Org.org | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org index 0211091..5ac0001 100644 --- a/site/cleopatra/Contents/Org.org +++ b/site/cleopatra/Contents/Org.org @@ -127,6 +127,11 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \ .org-src-tangled-to, .org-src-name @include padding-centered(4rem) +.example + @include verbatim-block + // this is hacky, but it works: no need for a padding-bottom + padding-top : 1rem + .footdef @include padding-centered |