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 | |
| 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
| -rw-r--r-- | site/cleopatra/Contents/Org.org | 5 | ||||
| -rw-r--r-- | site/cleopatra/Theme.org | 7 |
2 files changed, 12 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 diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index 49c51c6..2646f44 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -157,6 +157,13 @@ $document-width : 33rem overflow-x : auto scrollbar-width : thin +@mixin verbatim-block + @include padding-centered + @include code-font + background : $bg-verbatim + overflow-x : auto + scrollbar-width : thin + * box-sizing: border-box |