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