From 1a9268f141ac4234b2836d0207b1e87009821dd7 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 27 Feb 2020 09:22:57 +0100
Subject: Theme reloading

---
 site/cleopatra/Contents/Coq.org | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

(limited to 'site/cleopatra/Contents/Coq.org')

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
-- 
cgit v1.2.3