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/Theme.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/Theme.org')
-rw-r--r-- | site/cleopatra/Theme.org | 7 |
1 files changed, 7 insertions, 0 deletions
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 |